НПО Эшелон: Анализатор кода АК-ВС

Назначение: проведение сертификационных испытаний на отсутствие недекларированных возможностей (программных закладок), анализ безопасности программного кода.

Основные функции:

• проведение анализа и построение отчетов в соответствии с руководящим документом Гостехкомиссии России по отсутствию недекларированных возможностей (до 1 уровня контроля включительно);
• проведение сигнатурно-эвристического анализа кода с целью выявления программных закладок и критических уязвимостей ПО;
• поддержка множества языков ANSI Си, C++ (ISO/IEC 14882:2003), Java, C# ;
• отсутствие ограничений на объемы исходных текстов.

Особенности: интеграция с базой уязвимостей CWE.

Сертификат Минобороны России и ФСТЭК России.

Источник: [1]

2015: «Анализатор исходных текстов программ «АК-ВС 2» сертифицирован ФСТЭК

27 мая 2015 года НПО «Эшелон» сообщила о получении сертификата ФСТЭК России на программный комплекс «Анализатор исходных текстов программ «АК-ВС 2».

Сертификат подтверждает: продукт «АК-ВС 2» - программное средство автоматизированного анализа защищенности исходных текстов программного обеспечения, соответствует требованиям руководящего документа «Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей» (Гостехкомиссия России, 1999) – по 4 уровню контроля и технических условий.

Проведение динамического анализа при помощи "АК-ВС", 2013

«АК-ВС 2» помогает провести статический, динамический и сигнатурный анализ исходных текстов на языках С/С++/Java/С# вплоть до 1 уровня контроля.

«АК-ВС 2» обладает рядом преимуществ по сравнению с предыдущей версией «АК-ВС»:

• увеличена точность статического анализа исходных текстов за счёт наиболее детального построения модели исходных текстов на уровне, сопоставимым с уровнем работы компилятора/интерпретатора;
• в несколько раз выросла скорость анализа;
• уменьшена трудоемкость проведения динамического анализа исходных текстов за счет точной вставки датчиков;
• отсутствуют ограничения по объему анализируемых исходных текстов;
• интуитивно понятный веб-интерфейс;
• повышено качество отчетов системы;
• возможен одновременный анализ нескольких проектов и одновременная работа нескольких экспертов;
• кроссплатформенность и простота развертывания (продукт поставляется в виде виртуального устройства, что позволяет запускать его практически на любой ОС).