Опубликована полная версия статьи (с комментариями участников): Итоги испытаний статических анализаторов исходного кода при организационной и методической поддержке ФСТЭК России.

P.S. Заодно напомню про нашу заметку: Кратко об итогах испытаний статических анализаторов исходного кода в 2025 году.

Запись бонусный вебинара цикла "Вокруг РБПО" – Системы с конструктивной информационной безопасностью.

В конце 2025 года вступил в силу национальный стандарт «ГОСТ Р 72118 Защита информации. Системы с конструктивной информационной безопасностью. Методология разработки».

С помощью приглашенного эксперта — Екатерины Рудиной (аналитик департамента перспективных технологий «Лаборатории Касперского») — мы разобрались, в чем сходство и различие таких систем с безопасным ПО, как соотносятся создание систем с КИБ и разработка безопасного ПО, чем новый стандарт полезен в работе специалистов по ИБ различного профиля.

Смотри также сайт, о котором рассказала Екатерина – securitybydesign.ru.

Зачем делать игры, которые увидят немногие? | Разбаговка #6

У нас в гостях Слава Грис, разработчик игр, блогер. В выпуске:
- Точка входа: История о том, как Слава оказался в геймдеве (спойлер: опыт не всегда стоит на первом месте).
- Дух андеграунда: Что движет автором, когда он создает игры не «для всех».
- Бизнес на коленке: Как инди-разработчику не затеряться в океане ежедневных релизов и найти своего игрока.
- Свобода vs Мейнстрим: Почему быть «маленьким» разработчиком — это суперсила, и зачем делать игры, которые поймут немногие.

Вышел новый релиз PVS-Studio — 7.41. В нём улучшения для Unreal Engine, поддержка MISRA C 2023, обновление плагина для IntelliJ IDEA и другие полезные изменения.

На мой взгляд особого внимания заслуживает новый механизм "Удаление неактуальных маркеров подавления".

По мере развития анализатора или изменения анализируемого кода ложное предупреждение может перестать генерироваться, и маркеры подавления, содержащиеся в строках исходного кода для этого предупреждения, перестанут быть актуальными.

Накопление неактуальных маркеров подавления засоряет код и может привести к тому, что появившееся в том же месте новое предупреждение останется незамеченным.

Для очистки кодовой базы от неактуальных маркеров в пакете поставки анализатора PVS-Studio предусмотрена специальная утилита — pvs-fp-cleaner.

Мы добавили в документацию раздел об использовании
PVS-Studio в SourceCraft

SourceCraft — платформа, с помощью которой можно разрабатывать исходный код, управлять версиями, тестировать, собирать, развёртывать и сопровождать программные продукты. Сервис представляет собой систему управления репозиториями кода для Git с отслеживанием ошибок и пайплайном CI/CD.

Читатели Хабра думаю сразу вспомнят "Объяснить с SourceCraft" в блоках кода.

В документации объясняется как запустить анализатор PVS-Studio и как работать с SARIF-отчётами.

Соответствующий раздел: Использование PVS-Studio в SourceCraft

Один из способов подавления ложных срабатываний PVS-Studio, это специальные комментарии в коде. К сожалению, постепенно в коде могут накапливаться неактуальные комментарии подавления. Такое происходит, если код изменился и не вызывает более подозрения у анализатора. Или анализатор стал лучше понимать задумки программистов и более не выдаёт в каких-то местах срабатываний.

Поэтому мы реализовали в PVS-Studio механизм удаления неактуальных комментариев. Подробности в статье - Комментарии, которые пережили ошибки.

Для C++ программистов и не только. Обзор 10 уроков, посвящённый написанию своего языка программирования. Полностью материалы бесплатно представлены здесь.

Начал появляться код тех самых навайбкоденных проектов, который изменит мир и т.д. Ну а я начинаю потихоньку смотреть код этих проектов вообще и сквозь призму статического анализа в частности. Пока в глаза бросается, что код растянут и это мешает его восприятию. Например, человек бы так писать не стал, а воспользовался функцией sprintf.

      char seq[32];
      int s = 0;
      seq[s++] = ':';
      seq[s++] = ' ';
      seq[s++] = 'i';
      seq[s++] = 'c';
      seq[s++] = 'm';
      seq[s++] = 'p';
      seq[s++] = '_';
      seq[s++] = 's';
      seq[s++] = 'e';
      seq[s++] = 'q';
      seq[s++] = '=';
      seq[s++] = '0' + i;
      seq[s++] = ' ';
      seq[s++] = 't';
      seq[s++] = 't';
      seq[s++] = 'l';
      seq[s++] = '=';
      seq[s++] = '6';
      seq[s++] = '4';
      seq[s++] = ' ';
      seq[s++] = 't';
      seq[s++] = 'i';
      seq[s++] = 'm';
      seq[s++] = 'e';
      seq[s++] = '=';
      /* Random-ish time 10-50ms */
      int time_ms = 15 + (i * 7) % 30;
      seq[s++] = '0' + (time_ms / 10);
      seq[s++] = '0' + (time_ms % 10);
      seq[s++] = ' ';
      seq[s++] = 'm';
      seq[s++] = 's';
      seq[s++] = '\n';
      seq[s] = '\0';

Может зато опечаток нет? Есть.

PVS-Studio: V560 A part of conditional expression is always false: btn_char == '+'. window.c 1713

Создал канал-дублёр в MAX: Бестиарий программирования