PVS-Studio 7.43: анализ Unreal Engine для Team, расширение поддержки MISRA C++ 2023, поддержка Zephyr SDK и многое другое
Теперь пользователям с лицензией Team доступен анализ Unreal Engine проектов. Ранее для использования интеграции с Unreal Build Tool требовалась лицензия типа Enterprise. Подробнее об анализе Unreal Engine проектов можно узнать в документации.
Продолжаются работы по покрытию стандарта MISRA C++ 2023. 12 существующих диагностических правила группы MISRA адаптированы под стандарт MISRA C++ 2023. Подробнее о поддержке стандартов MISRA можно прочитать по ссылке.
Улучшена интеграция с платформой разработки SourceCraft. Теперь для анализа проектов с помощью PVS-Studio можно использовать готовые образы с необходимыми для анализа компонентами. Подробнее об интеграции можно прочитать в документации, а пример использования можно найти репозитории.
С помощью мониторинга компиляции и на основе compile_commands.json поддержан анализ проектов, использующих компилятор из Zephyr SDK. Подробнее об этом можно прочитать в документации.
В C и C++ анализаторе улучшен межпроцедурный анализ циклов. Теперь анализатор умеет обсчитывать канонические циклы с учётом возможных диапазонов значений переменных.
PVS-Studio 7.42: тестирование новых анализаторов, расширение поддержки MISRA C++ 2023, официальная интеграция в CMake и многое другое
Запущена программа раннего тестирования новых анализаторов кода для JavaScript и Go. В мае к ней добавится анализатор для TypeScript. Также для тестирования стала доступна платформа контроля качества кода PVS-Studio Atlas. Записаться на тестирование новых инструментов можно по ссылке.
Начаты работы по покрытию стандарта MISRA C++ 2023. 22 существующих диагностических правила группы MISRA адаптированы под стандарт MISRA C++ 2023. В плагинах PVS-Studio для IDE и утилитах командной строки теперь можно выбрать используемую версию стандарта MISRA C++. Подробнее о поддержке стандартов MISRA можно прочитать по ссылке.
Прекращена поддержка сценария бесплатного использования анализатора с помощью специальных комментариев в коде. Подробнее про то, как бесплатно использовать анализатор для open source проектов, можно прочитать здесь.
Плагин PVS-Studio стал доступен для Qt Creator версий 19.x. Прекращена поддержка плагина для версий Qt Creator 13.x. Мы стараемся обеспечивать обратную совместимость по поддержке последних версий плагинов для всех версий Qt Creator за два года с момента каждого релиза.
Добавлена документация об использовании анализатора в платформе разработки SourceCraft.
Начиная с версии 4.3.0 сборочная система CMake имеет встроенный механизм для работы с PVS-Studio. Подробнее об этом можно прочитать в документации.
PVS-Studio 7.41: MISRA C 2023, улучшения в работе с Unreal Engine и плагина для IDEA, внедрение системы логирования и многое другое
Завершён очередной этап расширения покрытия диагностическими правилами стандарта MISRA C 2023 в C++ анализаторе PVS-Studio. Обеспечено покрытие на уровне 86%. В дальнейшем мы планируем повысить покрытие стандарта MISRA C++ 2023. Подробнее о поддержке стандартов MISRA можно прочитать здесь.
Улучшены диагностические возможности C++ анализатора PVS-Studio при проверке Unreal Engine кода: исправлены работа диагностического правила V557 с контейнерами движка и проблема парсинга спецификатора `final` в виртуальных функциях.
Расширена поддержка taint-анализа в C# анализаторе: теперь возможно добавлять пользовательские аннотации для `async`-функций, также размечены `async`-функции классов стандартной библиотеки. Подробнее о пользовательских аннотациях для C# анализатора можно прочитать в документации.
В дистрибутивы PVS-Studio добавлена утилита `pvs-fp-cleaner`, предназначенная для удаления неактуальных маркеров подавления ложноположительных срабатываний из кодовой базы. Подробнее о её работе можно прочитать в документации.
Начато внедрение новой системы логирования для упрощения сбора информации о возникающих при работе анализаторов PVS-Studio проблемах. На первом этапе расширенное логирование было добавлено для кроссплатформенного анализатора C и C++ проектов. В ближайших релизах расширенное логирование будет поддержано в анализаторе C++ и C# MSBuild проектов. Подробнее о новой системе логирования можно прочитать в документации.
Улучшения в плагине для IntelliJ IDEA: добавлены возможность конвертации отчёта анализатора в CSV-формат и настройка для отображения относительных путей, исправлено замедление при открытии документации. Подробнее о плагине для IDEA можно прочитать здесь.
Узнайте, что изменилось в PVS-Studio за последние три года! В этом видео мы расскажем про новые диагностические правила, интеграции, оптимизацию работы анализатора и многое другое.