С 2008 года разрабатываем PVS-Studio — статический анализатор для C, C++, C#, Java, TypeScript, JavaScript и Go.
Что он умеет?
Работает с legacy. Есть механизм подавления предупреждений, который позволяет быстро интегрировать анализатор в процесс разработки. В отчёт попадают только новые срабатывания, а к старым, которые являются техническим долгом, можно вернуться позже.
Помогает тратить время на собственные фичи, а не на баги в коде. На обзорах кода вы сможете сосредоточиться на обсуждении архитектуры, паттернов, высокоуровневых ошибок, а не на поиске опечаток.
Помогает при построении процесса РБПО в компании. Анализатор соответствует требованиям ГОСТ Р 71207—2024 и методического документа ЦБ РФ «Профиль защиты». Применяется в сертификационных испытаниях по методике ФСТЭК России по ВУ и НДВ редакции 2026 года.
Ловит баги на этапе написания кода. Раннее обнаружение ошибки значительно снижает стоимость её исправления.
Работает в закрытом контуре. Не требует постоянного интернет-подключения и не передаёт никаких сведений о вашем проекте во вне.
Содержит более 1300 диагностических правил. Многие классифицированы по CWE, SEI CERT Coding Standards и OWASP ASVS. Найдёт даже незаметные для глаза ошибки.
Поддерживает MISRA C:2012, MISRA C:2023, MISRA C++:2008 и MISRA C++:2023. Неотъемлемая часть embedded-разработки при следовании ГОСТ Р ИСО 26262 и ГОСТ Р МЭК 61508.
