Работа нашей поддержки

PVS-Studio 7.43 (10 июня 2026)

• [#7001341] Поддержан анализ проектов, использующих компилятор из Zephyr SDK. Проанализировать такие проекты можно на основе compile_commands.json или с помощью мониторинга компиляции.
• [#5900920] На страницу загрузок PVS-Studio добавлен PDF-документ с полной документацией.
• [#7176156] C++ анализатор: в механизм пользовательских json-аннотаций добавлен атрибут nullable_resetter, который позволяет указать, что функция-член класса сбрасывает или модифицирует состояние nullable-объекта.
• [#4784530] Анализатор MSBuild-проектов: поддержана работа с .vcxproj-проектами, содержащими несколько значений свойства PlatformToolset.
• [#4866610] C# анализатор: поддержана работа с .NET SDK версии 10.0.300 на Linux и macOS.
• [#9407019] C# анализатор: улучшена передача и обработка межпроцедурных taint-данных.
• [#4668247] CMake-модуль: убрано дублирование include-директорий, запуск анализатора переведён на rsp-файлы, исправлен выбор компилятора по умолчанию.
• [#7001341] Плагин для IDE Visual Studio Code: добавлена возможность подавления срабатываний без проведения анализа.
• [#3531421] V547: исправлено ложное срабатывание при сравнении строк с помощью wcscmp.
• [#6998737] V3144: добавлена поддержка LGPL-лицензий и улучшена работа диагностических правил в нетривиальных случаях.
• [#7024186] V2558: исправлена обработка const-параметров функций на Linux.

PVS-Studio 7.42 (08 апреля 2026)

• [#7899127] C и C++ анализатор: добавлено предупреждение V021, которое выдаётся в случае локального отключения механизма анализа потока данных на сложных функциях (более 2500 циклов), что позволяет избежать замедления анализа.
• [#2796542] C и C++ анализатор: в файл конфигурации анализа .pvsconfig добавлен управляющий комментарий //V_RET_NULL_ALL, class: [namespace::][class::]className. Он позволяет отметить класс, все функции которого возвращают потенциально нулевой указатель.
• [#4642959] C и С++ анализатор: исправлено зацикливание при разборе шаблонного кода.
• [#1148217, #6791800] С и С++ анализатор: исправлена обработка нижележащего типа у enum
• [#4530503] С++ анализатор: улучшена обработка ключевого слова noexcept.
• [#5221213] С++ анализатор: улучшена обработка типа int64_t для Unix-платформ.
• [#4228085] С++ анализатор: улучшена обработка перемещённых с помощью std::move объектов.
• С++ анализатор: исправлено аварийное завершение работы на Unreal Engine-проектах.
• C++ анализатор: добавлена поддержка оператора new placement для контейнеров Unreal Engine.
• [#5104520] Анализатор MSBuild-проектов: добавлен флаг -j для управления количеством потоков анализа.
• [#4403738, #5291029] Анализатор MSBuild-проектов: добавлен механизм перенаправления включаемых файлов для корректного включения заголовочного файла при препроцессировании.
• [#7186714] Между анализатором MSBuild-проектов и плагином для Visual Studio унифицирована выдача срабатывания при анализе решения, если это срабатывание подавлено только в одном из включённых в решение проектов.
• [#5586928] C# анализатор: между .NET и .NET Framework унифицированы встроенные аннотации для async-функций классов стандартной библиотеки.
• [#7773593] C# анализатор: улучшена обработка самоприсвоений переменных.
• C# анализатор: добавлены дополнительные механизмы для отладки работы. В ситуации, когда анализатор не смог получить встроенные .NET-типы, будет выдано новое предупреждение V053. Также добавлен флаг --createBinaryLogs для логирования работы механизмов Roslyn.
• [#2318099] Java анализатор: улучшена поддержка анализа Android-проектов.
• [#3593191] V557: улучшена обработка массивов фиксированного размера.
• [#8531982] V567: исправлено исключение, приводившее к ложным срабатываниям.
• V591: улучшена обработка static_assert при использовании static_assert(sizeof(T)) как noreturn statement.
• [#6206825] V607: в документацию по диагностическому правилу добавлены дополнительные примеры.
• [#9407019] V5610: добавлены встроенные аннотации для ControllerBase.Content.
• [#3531421] Доработана документация по использованию механизмов инкрементального анализа и анализа списка файлов.

PVS-Studio 7.41 (10 февраля 2026)

• В дистрибутивы PVS-Studio добавлена утилита pvs-fp-cleaner, предназначенная для удаления неактуальных маркеров подавления ложноположительных срабатываний из кодовой базы. Подробнее о её работе можно прочитать в документации.
• Начато внедрение новой системы логирования для упрощения сбора информации о возникающих при работе анализаторов PVS-Studio проблемах. На первом этапе расширенное логирование было добавлено для кроссплатформенного анализатора C и C++ проектов. В следующем релизе расширенное логгирование будет поддержано в анализаторе C++ и C# MSBuild-проектов. Подробнее о новой системе логирования можно прочитать в документации.
• C и C++ анализатор: исправлена проблема парсинга спецификатора final в виртуальных функциях при работе с Unreal Engine проектами.
• [##6541557] C анализатор: исправлена обработка типа wchar_t.
• [#7663339] С++ анализатор: исправлена ошибка при обработке пользовательских аннотаций для классов с семантикой std::shared_ptr.
• [#5586928] C# анализатор: реализована поддержка taint-аннотаций для async-функций. Добавлены taint-аннотации для async-функций классов стандартной библиотеки.
• [#1599735] С# анализатор: исправлены ошибки при работе с .NET Core SDK проектами, включающими Directory.Build.props, в системах, где отсутствуют экземпляры Visual Studio.
• [#7966027] Java анализатор: добавлена поддержка процессоров аннотаций.
• [#7139148] V557: улучшена поддержка std::array.
• [#5953648] V609: Исправлено вычисление значений для неизвестных диапазонов.
• [#3205151] Плагин для IDE IntelliJ IDEA: добавлены возможность конвертации отчёта анализатора в CSV формат и настройка для отображения относительных путей, исправлено замедление при открытии документации.
• [#8775753] Плагин для IDE Qt Creator: исправлена проблема при эвалюации Qt-проектов на macOS.

PVS-Studio 7.39 (10 октября 2025)

• [#9388627] Анализатор кроссплатформенных C и C++ проектов: исправлена проблема с относительными путями при использовании настроек V_ANALYSIS_PATHS и V_EXCLUDE_PATH в файлах конфигурации анализа .pvsconfig.
• [#0859221] V112: добавлена поддержка агрегатной инициализации.
• [#5099068] C и C++ анализатор: улучшена работа нового парсера C и C++ кода с шаблонными функциями.
• [#0970334] V758: исправлено ложное срабатывание при возвращении std::basic_string_view<T>::data из функций.
• [#7182810] V1050: добавлено исключение для функций std::addressof и макроса offsetof.
• [#6439638] V6014: исправлена обработка лямбда-функций с возвращаемым типом void.
• [#6346294] V1077: исправлено ложное срабатывание из-за некорректной обработки условно-вызываемых функций.
• [#9363217] V1058: исправлено ложное срабатывание из-за некорректной обработки указателей на функции.
• [#9726590] V2592: исправлено аварийное завершение работы анализатора.
• [#3099012] С и С++ анализатор: исправлено сравнение разных типов enum.
• [#4122041] С и С++ анализатор: добавлена поддержка ключевого слова alignof (C23), чем исправлено аварийное завершение работы анализатора.
• [#9817902] С и С++ анализатор: добавлена поддержка инструмента инкрементальной сборки sccache.
• [#9409333] V1078: добавлена поддержка семейства функций Swap из Unreal Engine.
• [#3544838] V654: исправлена обработка volatile-указателей.
• [#3748519] Обновлена инструкция по установке PVS-Studio из .deb и .rpm репозиториев.
• [#6304087] V2023. Absence of the 'override' specifier when overriding a virtual function may cause a mismatch of signatures.

PVS-Studio 7.38 (06 августа 2025)

• [#1951949] V783: улучшена проверка условий валидности для итераторов.
• [#9161879] V776: исправлена обработка типов с неявными операторами приведения к bool.
• [#0706205] V1028: улучшена обработка бесконечных циклов.
• [#5814205] V1082, V654: улучшена обработка noreturn-функций.
• [#9161879] V1001: поддержана модификация контейнеров через прокси-объекты.
• [#9291102] V3114: исправлена обработка Disposable-объектов в межпроцедурном контексте.
• [#5175936] Анализатор кроссплатформенных C и C++ проектов: ускорена работа в режиме trace.
• [#9109514] Плагин для IDE Visual Studio: добавлены отображение прогресса анализа через иконку в области уведомлений панели задач, а также возможность сворачивать окно прогресса анализа.
• [#2587435] Анализатор MSBuild-проектов: добавлен механизм перезаписи более приоритетных настроек для файлов конфигурации диагностик .pvsconfig.
• [#6209762] Плагин для IDE Visual Studio Code: добавлена возможность фильтрации срабатываний по CWE-идентификаторам.

PVS-Studio 7.37 (11 июня 2025)

• [#1399651] C++ анализатор: исправлено падение при анализе вложенных структур с битовыми полями.
• [#7555563] C# анализатор: исправлено зависание на этапе эвалюации проекта.
• [#3843404] Java анализатор: поддержано использование Kotlin DSL при работе с плагином PVS-Studio для сборочной системы Gradle. Подробнее в документации.
• [#5752819] Plog Converter: доработан алгоритм вычисления уникальности сообщения в отчёте формата DefectDojo.
• [#9485590] Plog Converter: доработана сортировка срабатываний в формате fullhtml.
• [#1987667] V728: улучшена обработка многосоставных условий.