26.08 пройдёт вебинар «Go-Go-Gadg...Error? Смотрим, как ошибаются Go разработчики!» Зарегистрироваться

Решение для улучшения качества,
защищённости (SAST) и безопасности кода

ГОСТ Р 71207‑2024
ФСТЭК №117
MISRA C 2023
РБПО
ГОСТ Р 56939‑2024
АСУ ТП
PVS-Studio

статический анализатор кода

Соответствует стандартам

  • ГОСТ Р 71207‑2024

Используется
при разработке безопасного ПО согласно

  • ГОСТ Р 56939‑2024
  • Приказу ФСТЭК России №117
  • Методическому документу ЦБ РФ "Профиль защиты"
  • Методике ФСТЭК России по ВУ и НДВ

Находит отклонения
от стандартов кодирования

  • MISRA C 2012
  • MISRA C 2023
  • MISRA C++ 2008
  • MISRA C++ 2023

Работает на

  • Windows
  • Linux
  • macOS

Находит ошибки
и уязвимости в коде на

  • C
  • C++
  • C#
  • Java
  • Go
  • JavaScript
  • TypeScript

Находит дефекты
безопасности согласно

  • CWE
  • OWASP ASVS
  • SEI CERT

В каких отраслях применяется PVS-Studio

Корпоративные решения и финтех

  • Банковские, страховые, брокерские продукты
  • Бизнес-аналитика
  • Автоматизация бизнес-процессов
  • Платформы для корпоративной коммуникации и пр.

Энергетика

Продукты для нефтегазового сектора, электроэнергетики, атомной энергетики

Наука и космос

  • Космические исследования
  • Квантовые технологии
  • Разработка высокотехнологичной аппаратуры и электроники
  • Компьютерное моделирование

Для каких задач нужен PVS‑Studio

РБПО по ГОСТ Р 56939‑2024

Хотите узнать, что такое РБПО, но не знаете с чего начать? Надо выстроить разработку безопасного программного обеспечения по ГОСТ Р 56939‑2024?

Мы разработали отдельный раздел на нашем сайте, где вы можете познакомиться с темой РБПО. И понять какое место в нем занимает статический анализатор кода PVS‑Studio.

Сертификация

Готовите свое ПО к сертификационным испытаниям? Мы сотрудничаем со многими испытательными лабораториями.

Мы подготовили отдельный раздел, где вы можете ознакомиться с использованием статического анализатора кода PVS‑Studio для сертификации.

Функциональная безопасность (SIL)

Работаете в сфере АСУ ТП, используете стандарты МЭК 61508 и международный IEC 61508? Или работаете с более конкретными, например, ISO 26262 – стандартом по безопасности дорожных транспортных средств?

В анализаторе кода PVS‑Studio реализованы стандарты кодирования MISRA C:2023 и MISRA C++:2023.

Попробуйте анализатор в течение пробного периода
или запросите ВКС

Почему стоит выбрать PVS-Studio

Простота интеграции

PVS-Studio легко встраивается в ваше привычное рабочее окружение, будь то популярные IDE, локальные и облачные CI/CD или инструменты контроля качества кода. Это позволяет внедрить статический анализ без необходимости менять существующие процессы разработки. Чтобы протестировать, скачайте дистрибутив, запросите триальный ключ, введите его и начните использование.

Разнообразие сценариев использования

PVS-Studio обеспечивает комплексный контроль качества кода, гибко встраиваясь в рабочие процессы на любом этапе: локально у разработчика, в сервера CI/CD и в рамках ASOC-решений. Анализатор способен как проводить быстрые проверки нового кода (инкрементальный анализ, анализ коммитов и Pull/Merge Requests), так и выполнять глубокий, полный анализ всего проекта. Такой подход позволяет поддерживать чистоту кодовой базы и высокое качество продукта на протяжении всего цикла разработки.

Технологические партнёры

Расширяем технологические партнёрства для удобной интеграции PVS-Studio в экосистему DevOps/DevSecOps

PVS-Studio и сертификация

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

Информационное письмо о соответствии ГОСТ
ЦБИ Inseq КБ Лаб ЗЭТ СВЕМЕЛ

Попробуйте анализатор в течение пробного периода
или запросите ВКС

Часто задаваемые вопросы

Выбор лицензии зависит от количества пользователей, которые работают с PVS-Studio. Подробнее тут.

Для этого нужно учитывать размер команды, зарплату сотрудников и репутационные риски, которые сложно посчитать в денежном эквиваленте. Основываясь на расчётах ROI, можем сказать, что использование PVS-Studio полностью окупается в командах от 10 человек. Если у вас маленькая команда, напишите нам, и мы подберём для вас наиболее выгодные условия.

У анализатора PVS-Studio есть режим работы и разметка, которая позволяет безболезненно внедрять его в legacy-проекты.

Техническая поддержка входит в стоимость продукта, неотделима от лицензии и не выделяется в услугу.

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

Да, PVS-Studio является on-premise решением.

Анализатор PVS-Studio ищет ошибки в коде на языках C, C++, C#, Java, Go, JavaScript и TypeScript. В перспективе 1-3 лет мы планируем добавить Python и Kotlin. Вы можете подписаться на дайджест, чтобы быть в курсе последних новостей о продукте.

Ложноположительные срабатывания (false positives) — один из недостатков методологии статического анализа.
PVS-Studio предлагает механизмы подавления ложных предупреждений. В документации рассказываем об этом подробнее.

Заполните форму обратной связи или свяжитесь по телефону, указанному на форме. Вы получите доступ ко всей функциональности PVS-Studio с расширенным периодом (до 4 недель), а также доступ к технической поддержке.