PVS-Studio
статический анализатор кода
Находит ошибки и потенциальные уязвимости в коде
Работает на
Решение по улучшению качества, защищённости (SAST) и безопасности вашего кода
Мы являемся технологическим партнёром
Team License
базовая версия
Подойдёт, если у вас:
Enterprise License
расширенная версия
Подойдёт, если у вас:
Team License
базовая версия
Подойдёт, если у вас:
Enterprise License
расширенная версия
Подойдёт, если у вас:
Для студентов
Выберите один из вариантов бесплатного использования:
Для open-source проектов
Работаете над открытым проектом?
Запросите
бесплатную лицензию
сроком на 1 год.
Предоставляется контрибьюторам open-source проектов, хостящихся на:
Для специалистов Microsoft MVP
Являетесь специалистом Microsoft MVP?
Запросите
бесплатную лицензию
сроком на 1 год.
Мы подготовили для вас примеры ошибок в проверенных нами open‑source проектах. Мы хорошо относимся к open‑source проектам: уведомляем авторов проектов о найденных недочётах и помогаем им настроить анализатор для проверки их кода.
Воспользуйтесь механизмом массового подавления предупреждений. Анализатор создаёт специальный файл, где сохраняет информацию о пока неинтересных ошибках. PVS‑Studio будет выдавать предупреждения только на новый или измененный код. А к техническому долгу можно будет вернуться позднее – постепенно исправлять ошибки и настраивать анализатор. Подробнее.
Увы, но статические анализаторы неидеальны, поэтому время от времени выдают ложные срабатывания. Подавить их довольно легко, например: в плагине PVS‑Studio для Visual Studio достаточно нажать на одну кнопку «Mark As False Alarms» (посмотрите видео по работе с ложными срабатываниями). Параллельно вы можете сообщить в поддержку о наличии проблемы. Если ложное срабатывание возможно исправить, то в будущих обновлениях вы увидите, что специфичных для вашей кодовой базы ложных срабатываний с каждым разом становится всё меньше.
Работает в 64-битных системах на Windows, Linux и macOS. Может анализировать код, предназначенный для 32-битных, 64-битных и встраиваемых ARM платформ.
Анализатор легко интегрируется в распространённые системы сборки, IDE, современные встраиваемые системы, CI и облачные CI. Полный список можно посмотреть здесь.