Компания PVS-Studio, разработчик решения для обеспечения качества, надежности и защищенности исходного кода, представила новый релиз продукта — PVS-Studio 7.42. Об этом CNews сообщили представители PVS-Studio.
Запустили тестирование JavaScript и Go анализаторов
В начале апреля стартовало открытое тестирование новых анализаторов кода для JavaScript и Go. Прежде чем выпустить новые инструменты в релиз компании важно всесторонне их протестировать и собрать обратную связь от пользователей.
В первой версии JavaScript и Go анализаторы содержат по двадцать диагностических правил, CLI для каждого анализатора, а также плагины для сред разработки WebStorm и GoLand. Планируется, что в мае для тестирования станет доступен анализатор для TypeScript и новая версия расширения для Visual Studio Code, включающая поддержку новых анализаторов.
Также для тестирования доступна платформа контроля качества кода PVS-Studio Atlas — новое решение для управления результатами анализа кода с возможностью разметки предупреждений.
MISRA C++ 2023
Продолжается работа над поддержкой стандартов MISRA. В прошлой версии PVS-Studio обеспечил поддержку стандарта MISRA C 2023 на уровне 86%.
MISRA C — стандарт разработки ПО, цель которого — улучшить безопасность, переносимость и надежность программ для встраиваемых систем. Ранее стандарт использовался только в автомобильной индустрии, сейчас — в аэрокосмической, разработке медицинских устройств, военных проектах и в других сферах, где стоимость ошибки слишком высока.
В этом релизе адаптировали 22 существующих диагностических правила группы MISRA под стандарт MISRA C++ 2023, а также добавили в плагины PVS-Studio для IDE и утилиты командной строки возможность выбора версии MISRA C++.
Изменили политику бесплатного лицензирования
Теперь бесплатное использование анализатора с помощью специальных комментариев в коде недоступно. Те, кто использовали анализатор таким образом, могут получить активационный ключ другим способом.
Еще изменения коснулись бесплатного использования инструмента студентами и преподавателями. На данный момент PVS-Studio приостановили программу студенческого лицензирования, чтобы проработать ее обновленные условия.
Бесплатное лицензирование остается доступным для открытых проектов, публичных экспертов в области безопасности и Microsoft MVP.
Новые интеграции в Qt Creator, SourceCraft, CMake
Теперь плагин PVS-Studio поддерживается для Qt Creator версий 19.x. Он позволяет запускать анализ, просматривать предупреждения и работать с кодом, не покидая привычную среду разработки.
Вместе с этим прекращена поддержка плагина для версий Qt Creator 13.x. В компании стараются обеспечивать обратную совместимость по поддержке последних версий плагинов для всех версий Qt Creator за последние два года с момента каждого релиза.
Интеграция в SourceCraft
SourceCraft — платформа для разработки исходного кода, управления версиями, тестировки, сборки, развертывания и сопровождения программных продуктов.
В PVS-Studio проверили техническую совместимость статического анализатора с этой платформой и описали процесс их совместного использования в нашей документации.
Официальная интеграция в CMake
Начиная с версии 4.3.0 сборочная система CMake имеет встроенный механизм для работы с PVS-Studio, при котором срабатывания анализатора будут появляться в процессе компиляции проекта.
Завершили поддержку диагностики 64-битных ошибок
Начиная с этой версии PVS-Studio приостановила дальнейшую разработку диагностических правил группы «Диагностика 64-битных ошибок». Они больше не будут развиваться и в будущем могут быть отключены.
Использующие эти правила могут связаться с поддержкой, которая поможет найти замену или предложит альтернативное решение.
Продолжили улучшать анализаторы
В C и C++ анализаторе уменьшили время анализа шаблонного кода за счет улучшения механизма его обработки. Улучшили вычисление и анализ простых функций в зависимости от контекста, с которым они вызываются.
В C# анализатор добавили дополнительные механизмы для отладки его работы. Когда анализатор не может получить встроенные .NET-типы, выдается новое предупреждение V053. Добавлен флаг `--createBinaryLogs` для логирования работы механизмов Roslyn. А еще в C# анализаторе исправили ошибку при проверке .NET Framework проектов не SDK стиля, которая возникала после обновления Visual Studio 2026 до версии 18.4.0+.
Поделиться
