Частые вопросы и честные ответы

• PVS-Studio соответствует ГОСТ Р 71207–2024?

  Инструментальное средство PVS‑Studio разрабатывается с учётом требований, предъявляемых к статическим анализаторам в ГОСТ Р 71207–2024. Анализатор позволяет выявлять критические ошибки и может использоваться при разработке безопасного программного обеспечения. Анализатор PVS‑Studio включён в Единый Реестр российского ПО: N9837. Возможно использование в полностью закрытом контуре.

• Есть ли у продукта PVS-Studio сертификат ФСТЭК?

  Нет. Сертификация до 4 уровня доверия является добровольной. Именно на этом уровне работают большинство наших заказчиков. PVS-Studio закрывает все функциональные требования, предъявляемые ФСТЭК к статическим анализаторам до 4 уровня доверия включительно. Наши клиенты могут пользоваться PVS-Studio и проходить затем сертификационные испытания для своего ПО. По запросу мы готовы предоставить письмо с разъяснением для испытательной лаборатории.

• Как интегрировать PVS-Studio в существующий проект и не потонуть в ложных срабатываниях?

  Воспользуйтесь механизмом массового подавления предупреждений. Анализатор создаёт специальный файл, где сохраняет информацию о пока неинтересных ошибках. PVS-Studio будет выдавать предупреждения только на новый или измененный код. А к техническому долгу можно будет вернуться позднее – постепенно исправлять ошибки и настраивать анализатор. Подробнее.

• Как обстоят дела с ложными срабатываниями?

  Увы, но статические анализаторы неидеальны, поэтому время от времени выдают ложные срабатывания. Подавить их довольно легко, например, в плагине PVS-Studio для Visual Studio достаточно нажать на одну кнопку «Mark As False Alarms» (посмотрите видео по работе с ложными срабатываниями). Параллельно вы можете сообщить в поддержку о наличии проблемы. Если ложное срабатывание возможно исправить, то в будущих обновлениях вы увидите, что специфичных для вашей кодовой базы ложных срабатываний с каждым разом становится всё меньше.

• На каких платформах работает?

  Работает в 64-битных системах на Windows, Linux и macOS. Может анализировать код, предназначенный для 32-битных, 64-битных и встраиваемых ARM платформ.

• Куда интегрируется анализатор PVS-Studio?

  Анализатор легко интегрируется в распространенные системы сборки, IDE, современные встраиваемые системы, CI и облачные CI. Полный список можно посмотреть здесь.

• Как использовать PVS-Studio бесплатно?

  Мы предлагаем несколько совершенно разных вариантов бесплатного использования PVS-Studio. Если кратко, то этими вариантами могут воспользоваться:

  • Разработчики открытых проектов: запросить лицензию;
  • Разработчики закрытых проектов: потребуется вставить комментарии в код;
  • Эксперты безопасности: см. соответствующий раздел в статье;
  • Microsoft MVP: напишите нам.

  Подробнее узнать про перечисленные способы и выбрать подходящий для вашего проекта, вы можете, обратившись к обзорной статье "Бесплатные варианты лицензирования PVS-Studio".

  Также наш анализатор легко и бесплатно могут использовать студенты и преподаватели. Для этого подойдёт как способ с комментариями в коде, так и запуск анализатора на сайте Compiler Explorer. Подробнее: "Бесплатное использование PVS-Studio студентами и преподавателями".

• Почему PVS-Studio не предлагает автоматические правки кода?

  PVS-Studio не является анализатором стиля кода. Он не предлагает изменения, связанные с форматированием или именованием. PVS-Studio выявляет ошибки и потенциальные уязвимости. Многие ошибки заставляют задуматься и требуют изменения поведения программы. И только программист может решить, как исправить ту или иную ошибку. Более подробно об этом читайте в нашей статье.

• Как быстро посмотреть интересные предупреждения, которые выдает анализатор PVS-Studio для C и C++ кода?

  1. Отключите все типы предупреждений кроме основных (GA).
  2. Потратьте немного времени на отключение явно неактуальных предупреждений и борьбу с ложными срабатываниями из-за макросов.
  3. Начните изучать предупреждения с 1 уровня. И только затем смотрите 2 и 3.

  Подробнее…