Инструментальное средство PVS‑Studio разрабатывается с учётом требований, предъявляемых к статическим анализаторам в ГОСТ Р 71207–2024. Анализатор позволяет выявлять критические ошибки и может использоваться при разработке безопасного программного обеспечения. Анализатор PVS‑Studio включён в Единый Реестр российского ПО: N9837. Возможно использование в полностью закрытом контуре.
Нет. Сертификация до 4 уровня доверия является добровольной. Именно на этом уровне работают большинство наших заказчиков. PVS-Studio закрывает все функциональные требования, предъявляемые ФСТЭК к статическим анализаторам до 4 уровня доверия включительно. Наши клиенты могут пользоваться PVS-Studio и проходить затем сертификационные испытания для своего ПО. По запросу мы готовы предоставить письмо с разъяснением для испытательной лаборатории.
Воспользуйтесь механизмом массового подавления предупреждений. Анализатор создаёт специальный файл, где сохраняет информацию о пока неинтересных ошибках. PVS-Studio будет выдавать предупреждения только на новый или измененный код. А к техническому долгу можно будет вернуться позднее – постепенно исправлять ошибки и настраивать анализатор. Подробнее.
Увы, но статические анализаторы неидеальны, поэтому время от времени выдают ложные срабатывания. Подавить их довольно легко, например, в плагине PVS-Studio для Visual Studio достаточно нажать на одну кнопку «Mark As False Alarms» (посмотрите видео по работе с ложными срабатываниями). Параллельно вы можете сообщить в поддержку о наличии проблемы. Если ложное срабатывание возможно исправить, то в будущих обновлениях вы увидите, что специфичных для вашей кодовой базы ложных срабатываний с каждым разом становится всё меньше.
Работает в 64-битных системах на Windows, Linux и macOS. Может анализировать код, предназначенный для 32-битных, 64-битных и встраиваемых ARM платформ.
Анализатор легко интегрируется в распространенные системы сборки, IDE, современные встраиваемые системы, CI и облачные CI. Полный список можно посмотреть здесь.
Мы предлагаем несколько совершенно разных вариантов бесплатного использования PVS-Studio. Если кратко, то этими вариантами могут воспользоваться:
Подробнее узнать про перечисленные способы и выбрать подходящий для вашего проекта, вы можете, обратившись к обзорной статье "Бесплатные варианты лицензирования PVS-Studio".
Также наш анализатор легко и бесплатно могут использовать студенты и преподаватели. Для этого подойдёт как способ с комментариями в коде, так и запуск анализатора на сайте Compiler Explorer. Подробнее: "Бесплатное использование PVS-Studio студентами и преподавателями".
PVS-Studio не является анализатором стиля кода. Он не предлагает изменения, связанные с форматированием или именованием. PVS-Studio выявляет ошибки и потенциальные уязвимости. Многие ошибки заставляют задуматься и требуют изменения поведения программы. И только программист может решить, как исправить ту или иную ошибку. Более подробно об этом читайте в нашей статье.