PVS-Studio 7.38: новое ядро C++ анализатора, пользовательские аннотации в Java, улучшение taint-анализа и многое другое

Вышел новый релиз PVS-Studio — 7.38. Новое ядро для C и C++ анализатора, механизм пользовательских аннотаций в Java анализаторе, улучшение анализа заражённых данных, и это ещё не всё! Больше подробностей в этом пресс-релизе.

Загрузить актуальную версию PVS-Studio можно здесь.

Новое ядро C и C++ анализатора

Новое ядро включает полностью переработанные компоненты: парсер, семантический анализатор и систему типов. Оно обеспечивает более точную обработку шаблонных конструкций, улучшенный разбор стандартной библиотеки и кода на современных стандартах языка C++. В ходе расширенного периода тестирования (EAP) была достигнута стабильная работа нового ядра на большом количестве реальных проектов.

Для обеспечения обратной совместимости сохранена возможность временного переключения на предыдущую версию ядра. Сделать это можно с помощью следующих утилит:

утилита pvs-studio-analyzer с помощью флага --use-old-parser;

файл конфигурации диагностик .pvsconfig с помощью флага //V_USE_OLD_PARSER;

файл конфигурации анализа Settings.xml с помощью тега <UseOldCppParser>;

вкладка Specific Analyzer Settings с помощью настройки Use Old Cpp Parser.

В случае возникновения проблем при анализе рекомендуем сообщить о них в техническую поддержку. Ваша обратная связь поможет ускорить финальную стабилизацию нового ядра C и C++ анализатора.

Механизм пользовательских аннотаций в Java анализаторе

В Java анализатор PVS-Studio был добавлен механизм пользовательских аннотаций — способ разметки типов и функций в формате JSON для передачи анализатору дополнительной информации. Ранее такая возможность была доступна только в анализаторах C++ и C#.

Теперь можно размечать методы и конструкторы как источники, приёмники и валидаторы taint-данных. Это позволяет анализатору