Раз в РБПО мы добрались до статического анализа, время изучить возможности PVS-Studio.
Поддерживает анализ кода на языке C, C++ (и диалекты C++/CLI, C++/CX), C#, Java. Совместим с ГОСТ Р 71207–2024 – Статический анализ ПО.

Применяется испытательными лабораториями, аккредитованными в системах сертификации средств защиты информации ФСТЭК России в рамках работ по сертификационным испытаниям программных продуктов.

От меня промокод firefly для получения лецензии на 1 месяц. Скачать и попробовать.

РБПО-021. Термин: статический анализ исходного кода программы (часть 2/3)
Внедрение статического анализа в процесс разработки это:

1. Выявление ошибок в программах и "кода с запахом" (например, непереносимый или сложный для понимания код).

2. Обнаружение критических ошибок (потенциальных уязвимостей).

3. Один из ключевых процессов для построения РБПО.

4. Рекомендации по оформлению кода. Некоторые статические анализаторы позволяют проверять, соответствует ли исходный код принятому в компании стандарту оформления. Имеется в виду контроль количества отступов в различных конструкциях, использование пробелов/символов табуляции и так далее.

5. Подсчёт метрик. Метрика программного обеспечения — это мера, позволяющая получить численное значение некоторого свойства программного обеспечения или его спецификаций.

6. Проверка соответствия текста программы определённым стандартам кодирования (MISRA, CWE, SEI CERT, и т.д.).

7. Контроль качества кода во времени. Собирая статистику, можно узнать, растёт или уменьшается плотность ошибок со временем. Это позволяет отвечать на вопросы о том, какие изменения в процессе разработки проекта пошли на пользу, а какие нет.

Есть и другие способы использования инструментов статического анализа кода. Например, статический анализ можно использовать как метод контроля и обучения новых сотрудников, ещё недостаточно знакомых с правилами программирования в компании.

4 и 5 июня буду в Москве для участия в вечерних митапах. А днём пока свободен и открыт к предложениям ещё где-то поучаствовать: внезапный подкаст, рассказ вашим коллегам в офисе про статический анализ :). Если есть подходящая идеи - напишите.

РБПО-022. Термин: статический анализ исходного кода программы (часть 3/3)
Как и у любой другой методологии выявления ошибок, у статического анализа есть свои сильные и слабые стороны. Важно понимать, что нет одного идеального метода обеспечения качества кода. Для разных классов программного обеспечения разные методики будут давать разные результаты. Добиться высокого качества программы можно только в случае, если использовать сочетание различных методик.

Главное преимущество статического анализ состоит в возможности существенного снижения стоимости устранения дефектов в программе. Чем раньше ошибка выявлена, тем меньше стоимость её исправления.

Другие преимущества статического анализа кода:
1. Тестирование всего кода. Статические анализаторы проверяют даже те фрагменты кода, которые выполняются крайне редко. Такие участки кода, как правило, не удаётся протестировать другими методами. Это позволяет находить дефекты в обработчиках редких ситуаций, в обработчиках ошибок или в системе логирования.

2. Статический анализ не зависит от используемого компилятора и среды, в которой будет выполняться скомпилированная программа. Это позволяет находить скрытые ошибки, которые могут проявить себя только через несколько лет. Например, это ошибки неопределённого поведения. Они могут проявить себя при смене версии компилятора или при использовании других ключей для оптимизации кода.

3. Можно легко и быстро обнаруживать опечатки и последствия использования copy-paste. Как правило, нахождение этих ошибок иными способами является крайне неэффективной тратой времени и усилий. Обидно после часа отладки обнаружить, что ошибка заключается в выражении вида strcmp(str_a, str_a). Обсуждая типовые ошибки, про такие ляпы, как правило, не вспоминают. Но на практике на их выявление тратится существенное время.

Дополнительные ссылки:
• Как внедрить статический анализатор кода в legacy проект и не демотивировать команду.
• Внедряйте статический анализ в процесс, а не ищите с его помощью баги.

Друзья, мы готовим для вас что-то очень важное и полезное...

А именно цикл вебинаров про РБПО - "Вокруг РБПО за 25 вебинаров: ГОСТ Р 56939-2024". Совместно с учебным центром "МАСКОМ" мы организовываем 25 вебинаров, где подробно разберем новый ГОСТ и расскажем, как внедрить РБПО.

Мы планируем организовывать вебинары по средам. В последующих постах мы подробнее расскажем о каждой части. А пока просим вас помочь нам определиться со временем начала вебинаров 😊

Захожу на Habr, а там такая статья! Моё почтение автору.

Как манул единорога в горы водил: запускаем PVS-Studio на российских процессорах Эльбрус.

Друзья, мы долго готовились, долго к этому шли…

И вот, наконец-то, рады вам рассказать про крутое мероприятие! 🎉

Совместно с Центральным Университетом мы организовываем свой уникальный митап – «Сплошные плюсы. Клуб С++ разработчиков».

Этот митап не просто про доклады, это площадка для развития своих профессиональных навыков в приятной атмосфере.

Андрей Карпов, сооснователь PVS-Studio, расскажет про типовые ошибки С и С++ программистов. А Олег Лысый, техлид в PVS-Studio, познакомит с основами парсинга С++ кода.

Как видите, сплошные плюсы. А минусы? А минусов не будет! Приходите! 😉

Все подробности и программа доступны по ссылке 🔗

#мероприятие #митап #cpp