PVS-Studio: поиск ошибок в коде

🙀 Настало время страшных октябрьских историй. Приглашаем вас погрузиться в кошмар одного разработчика...

Однажды разработчик написал плагин. Локально, в dev-версии, всё работало безупречно. Он проверял его снова и снова, и код послушно выполнял каждую команду. Потом скачал сборку с сервера. Плагин запустился… и замер. Функции исчезли. Сущности перестали узнавать друг друга. Всё, что ещё вчера работало, обратилось в прах. Разработчик в ужасе вернулся к исходникам — там всё было на месте. Он собрал плагин снова, и тот работал. Он скачал серверную версию, и она снова сломалась. Тогда разработчик всё понял: вместо того чтобы использовать ООП, кто-то привязал логику к именам сущностей. Однако при сборке обфускатор переименовывал их в бессмысленный набор символов, и код переставал их узнавать. С тех пор разработчик боялся серверных сборок больше любых ошибок компиляции…

#страшные_истории

Какие ошибки находит статический анализатор PVS-Studio? Меньше чем за минуту показываем два примера реальных ошибок, найденных в коде программ. Одна из них была обнаружена в проекте Microsoft Orleans. Полное видео: YouTube RuTube VK Video Наш сайт #видео #PVS_Studio

#mem_PVS #java

💻 Вышла новая часть книги "Game ++. Устройство и оптимизация игрового движка" В этой главе поговорим про: ▫️Три главных компромисса оптимизации: скорость против памяти, точность против скорости, простота против скорости. ▫️Мифы об оптимизации: зачем тестировать на слабом железе, почему лучше работать только с release-сборками и почему стабильные 30 fps лучше скачков от 60 до 20 fps. ▫️"Горячие" функции и "бутылочные горлышки": как искать участки кода, которые съедают больше всего ресурсов, и почему после каждой правки нагрузка появляется в другом месте. Полный текст — в нашем блоге 🔗 Предыдущие части: 1️⃣ Game++. Часть 1.1: С++, движки и архитектуры 2️⃣ Game++. Часть 1.2: С++, движки и архитектуры 3️⃣ Game++. Часть 1.3: Архитектуры игровых движков 4️⃣ Game++. Часть 1.4: Архитектуры игровых движков 5️⃣ Game++. Часть 2.1: Какие бывают оптимизации? #статья #cpp #gamedev

Давно в рубрике “Найди ошибку” не было Go. Исправляемся 🌝 Попробуйте найти ошибку в этом фрагменте кода из проекта Lancet. Больше ошибок из проектов на Go — в нашем блоге 🔗 #ошибка #go

Давно в рубрике “Найди ошибку” не было Go. Исправляемся 🌝 Попробуйте найти ошибку в этом фрагменте кода из проекта Lancet. Больше ошибок из проектов на Go — в нашем блоге. #ошибка #go

Польза статического анализа Рассказываем, почему он является важным шагом в разработке, как помогает большим командам и какие уязвимости может найти. Полное видео: 📺 YouTube 📺 VK Video 📺 RuTube 🔥 Наш сайт #видео #PVS_Studio

❤️ Сегодня в 14:00 встречаемся на вебинаре "Понять себя как тимлида: привычки, роли и стили управления". Зарегистрироваться можно здесь 🔗 #вебинар #тимлид

C# 15 уже на подходе. Что нас ждет в новой версии языка? В новом обзоре разобрали главные изменения: ▫️union-типы ▫️закрытые иерархии ▫️именованные break и continue ▫️индексаторы расширений ▫️аргументы выражения коллекции ▫️новые правила безопасности памяти Полный обзор — в нашем блоге 🔗 #статья #csharp

Напоминаем про наш вебинар “Понять себя как тимлида”, который пройдет уже в среду 🤗 На вебинаре разберем привычные паттерны руководителей, которые могут тормозить развитие, и популярные стили управления: их плюсы и минусы, ограничения и ситуации, в которых они работают лучше всего. Ждем всех 21 октября в 14:00! ▫️РЕГИСТРАЦИЯ▫️ #вебинар #тимлид

Начинаем неделю с поиска ошибок в Java коде 😉 Это код из проекта IntelliJ IDEA. Попробуйте понять, что тут не так. Остальные ошибки, найденные в IntelliJ IDEA, можно посмотреть в нашем блоге 🔗 #java #ошибка

#mem_PVS

Вышел новый релиз PVS-Studio — 8.01. В нем: 🐞расширение поддержки OWASP 🐞поддержка новых версий Java и Go 🐞расширения конфигурации и многое другое Полный список изменений можно посмотреть в нашем блоге 🔗 #PVS_Studio #релиз

"Разбаговка" вживую! В эту субботу, 17 октября, в Екатеринбурге пройдёт конференция HardFest, для которой мы заготовили кое-что необычное. На стенде PVS-Studio в рамках экспертного хаба впервые проведём подкаст «Разбаговка» в live-формате. Вместе с Филиппом Хандельянцем, руководителем разработки статических анализаторов в PVS-Studio, обсудим, как изменилось качество кода с приходом ИИ-помощников, а именно: • Точно ли с ИИ быстрее? • Как контролировать агентов? • Существует ли теперь качественный код? • Кто несёт ответственность за код, написанный агентом? • Технический долг теперь никогда не будет погашен? Если окажетесь на конференции, приходите на наш стенд в 13:00 по местному времени (GMT+5). А дополнительные детали можно найти на сайте конференции. Увидимся! 🎤 feelin

Ждем всех завтра на нашем стенде ❤️

За 37 секунд рассказываем: ▫️что такое PVS-Studio ▫️какие языки он поддерживает ▫️какие диагностические правила есть в инструменте Полное видео можно посмотреть здесь 🔗 #видео

На нашем сайте появился новый раздел — Инструменты РБПО. В нём собраны инструменты, которые используются при построении процессов безопасной разработки программного обеспечения (РБПО, SSDLC). Цель этого раздела — помочь быстро найти необходимые инструменты для их дальнейшего изучения и выбора. Если у вас есть идеи по расширению списка, или вы нашли какую-то неточность, пишите нам. #рбпо #гост

🖥 Как понять, что помогает руководителю развиваться, а что уже мешает команде расти? У каждого тимлида свой стиль управления и свои сильные стороны. На вебинаре разберём привычные паттерны руководителей, которые могут тормозить развитие, и популярные стили управления: их плюсы и минусы, ограничения и ситуации, в которых они работают лучше всего. 🎤 Елизавета Кузнецова (руководитель Events, PVS-Studio) в своём докладе "Роли руководителя: кто ты сегодня?" расскажет, почему идеального тимлида не существует и какие бывают стили управления, а также разберёт популярные архетипы тимлидов. В основе доклада — модель PAEI Адизеса. 🎤 Ольга Ладошкина (независимый эксперт по развитию управленцев, executive-коуч, основатель проекта “Лидерская кухня”, наставник в Яндекс Практикуме) в своём докладе "Когда сильные стороны начинают мешать: 9 привычных паттернов успешных руководителей" расскажет, как качества, которые помогают добиваться результатов и расти по карьерной лестнице, со временем могут начать тормозить развитие команды. Вебинар будет полезен как тем, кто только стал тимлидом, так и опытным руководителям, которые хотят лучше понять себя и развивать свой стиль управления. Ждем всех 21 октября в 14:00! Регистрация 🔗 Всем, кто зарегистрировался, мы пришлём запись вебинара! #вебинар #тимлид

📖 Copy-paste oшибки в cтpyктypнo изoмopфнoм Go кoдe Недавно вышел PVS-Studio 8.00, принёсший с собой много масштабных нововведений, среди которых и релиз анализатора для Go! Он же, в свою очередь, обзавёлся несколькими новыми интересными диагностиками. Среди них есть и та, что выявляет один из caмыx кoвapныx видoв copy-paste oшибoк, кoтopые нeoxoтнo пoпaдaютcя нa глaзa пpи oбычнoм peвью. Подробнее о поиске copy-paste oшибок в cтpyктypнo изoмopфнoм Go кoдe написали в статье 🔗 Приятного чтения! #статья #go

Проверили файловый менеджер Files. Еще больше ошибок, которые мы нашли в проекте, можете посмотреть по ссылке 🔗 #csharp #ошибка