PVS-Studio 7.41: MISRA C 2023, улучшения в работе с Unreal Engine, внедрение системы логирования и многое другое

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

На протяжении года мы работали над увеличением покрытия стандарта MISRA C 2023. Сегодня покрытие этого стандарта анализатором PVS-Studio находится на уровне 86%. Подробнее об этом можно узнать на этой странице.

В дальнейшем мы планируем повысить покрытие стандарта MISRA C++ 2023.

Мы продолжаем улучшать работу PVS-Studio с кодом Unreal Engine проектов.

В этом релизе мы улучшили диагностические возможности C++ анализатора для работы с этими проектами. Были исправлены работа диагностического правила V557 с контейнерами движка и проблема парсинга спецификатора final в виртуальных функциях.

Подробнее о работе PVS-Studio с Unreal Engine можно прочитать в документации.

В C# анализаторе расширена поддержка taint-анализа. Пользовательские JSON-аннотации теперь можно добавлять для async-функций. Также мы разметили async-функции классов стандартной библиотеки.

Механизм пользовательских аннотаций позволяет с помощью JSON-файла задать анализатору дополнительный контекст для анализа. Такая возможность появилась в C# анализаторе PVS-Studio в версии 7.33. Подробнее о его работе можно прочитать в документации.

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

Маркеры подавления — это комментарии в коде, которые указывают анализатору, что срабатывание диагностического правила на строке является ложноположительным, и его не нужно включать в отчёт. Ранее для удаления таких маркеров потребовалось бы вручную просматривать весь код.

Подроб