Сертификация ФСТЭК с PVS-Studio
PVS-Studio – отечественный статический анализатор исходных кодов на языках C, C++, C#, Java, TS, JS, Go.
Применяется при построении процессов безопасной разработки программного обеспечения (РБПО) согласно ГОСТ Р 56939-2024. Соответствует требованиям последней редакции "Методики выявления уязвимостей и недекларированных возможностей в программном обеспечении" ФСТЭК России. Информационное письмо.
Ряд сертификационных лабораторий уже применяют PVS-Studio в рамках работ по сертификационным испытаниям программных продуктов.
- АО "Инсек-СЗ", ИНН 7801601694.
- АО "СВЕМЕЛ МВП", ИНН 7709009454.
- ООО "ЦБИ", ИНН 5054004240.
- ЗАО "ЗЭТ", ИНН 7802170909.
- ООО "КБ-Лаб", ИНН 6950217186
- ФГУП "РФЯЦ — ВНИИЭФ", ИНН 5254001230.
- АО "Технологии Радиоконтроля", ИНН 7804436569.
- АО "Документальные Системы", ИНН 7727114395.
- АО Центр "Атомзащитаинформ", 7706469319, аккредитован ФСТЭК как орган по сертификации и имеет 5-ю область аккредитации: выполняет работы по оценке (подтверждению) соответствия в отношении процессов безопасной разработки программного обеспечения средств защиты информации.
Мы можем предоставить более подробную информацию по использованию PVS-Studio в их работе. Также мы готовы к сотрудничеству с другими лабораториями по вашему запросу. Форма обратной связи / телефон +7(903)844-02-22.
Основные характеристики инструментального средства PVS-Studio:
- Включён в Реестр российского ПО (запись №9837 от 18.03.2021).
- Разрабатывается с учётом требований, предъявляемых к статическим анализаторам в ГОСТ Р 71207—2024.
- Удовлетворяет функциональным требованиям к инструментам статического анализа кода, описанным в Методическом документе "Методика выявления уязвимостей и недекларированных возможностей в программном обеспечении" (утверждён ФСТЭК России 12 мая 2026 г.) для 6-4 уровней доверия.
- Может использоваться при построении процессов РБПО согласно ГОСТ Р 56939—2024.
- Отвечает требованиям к статическим анализаторам кода, изложенных в методическом документе ЦБ РФ "Профиль защиты".
- Запускается на большом количестве ОС, в том числе отечественных: Windows, macOS, Arch Linux, Astra Linux (сертификат совместимости №31190/2025), CentOS, Debian GNU/Linux, Fedora, Linux Mint, openSUSE, Ubuntu, РЕД ОС и т.д.
Подробное техническое описание представлено в статье "Статический анализатор кода PVS-Studio в 2026: ГОСТ Р 71207, ГОСТ Р 56939, приказ ФСТЭК №117".
PVS-Studio не сертифицирован, так как ФСТЭК не предъявляет такого требования к инструментальным средствам статического анализа.
Для статических анализаторов процедура сертификации является добровольной. Сертификат ФСТЭК не влияет на возможность использования инструмента, так как его наличие не является одним из критериев выбора инструментальных средств анализа для построения РБПО по ГОСТ Р 56939—2024 и не упоминается в требованиях ГОСТ Р 71207—2024 (Статический анализ программного обеспечения).
Цитата из статьи Дмитрия Пономарева:
Важно отметить, что в настоящий момент ФСТЭК России не предъявляет каких-либо специальных требований к инструментам статического анализа, на соответствие которым возможно проводить сертификационные испытания инструментов. Как следствие, любые требования заказчиком наличия сертификата ФСТЭК России на инструмент статического анализа являются его частной инициативой.
Подробнее эта тема раскрыта в "Методической рекомендации № 2025-07-011". В том числе там говорится про испытания статических анализаторов кода, которые прошли в 2025 году и в которых PVS-Studio принимал участие. См. статью "Кратко об итогах испытаний статических анализаторов исходного кода в 2025 году".
Примеры отзывов клиентов:
- Eltex: Как крупнейший в РФ производитель сетевого оборудования Eltex сделал разработку безопаснее благодаря PVS-Studio.
- СВД ВС: Как СВД ВС использует PVS-Studio в сертифицируемой разработке защищённой ОС.
- YADRO: Как YADRO использует PVS-Studio в процессе контроля качества кода для телеком-оборудования.
Дальнейшее знакомство с PVS-Studio:
- Запросить триальную версию анализатора.
- Запросить демонстрацию продукта.
- Задать вопросы: форма обратной связи / телефон +7(903)844-02-22.