Анализатор кода АК-ВС 2

Статический анализатор исходных текстов программ «АК-ВС 2»  проводит сертификационные испытания на отсутствие недекларированных возможностей (программных закладок), анализ безопасности программного кода.

Продукт включен в единый реестр российского ПО, имеет сертификаты Минобороны, ФСТЭК России.

Преимущества: 

• проведение анализа и построение отчетов в соответствии с руководящим документом Гостехкомиссии России по отсутствию недекларированных возможностей (до 1 уровня контроля включительно);
• проведение сигнатурно-эвристического анализа кода с целью выявления программных закладок и критических уязвимостей ПО;
• единственное сертифицированное средство проведения сертификационных испытаний по 2 и 1 уровням контроля отсутствия недекларированных возможностей;
• интуитивно понятный веб-интерфейс;
• одновременный анализ нескольких проектов и одновременная работа нескольких экспертов.

«АК-ВС 2» анализирует исходный текст программ и генерирует отчеты тестовых испытаний:

• Отчеты по статическому анализу:

1) Отчёт по метрикам;
2) Список файлов проекта;
3) Список информационных объектов (ИО);
4) Перечень функциональных объектов (ФО) (функций и процедур);
5) Перечень функциональных объектов (ветвей);
6) Перечень невызываемых ФО;
7) Перечень неопределенных ФО;
8) Таблица связей ФО по управлению;
9) Маршруты выполнения ФО;
10) Таблица связей ФО по информации;
11) Критические маршруты для выбранного ИО;
12) Таблица связей функций и ветвей;
13) Маршруты выполнения ФО с ветвями;
14) Блок-схемы ФО;
15) Отчет о поиске потенциально опасных конструкций.

• Отчеты по динамическому анализу:

1) Отчёт по метрикам;
2) Отработавшие ФО (процедуры и функции);
3) Отработавшие связи между ФО (процедурами и функциями);
4) Отработавшие ФО (ветви);
5) Отработавшие связи между ФО (процедурами, функциями и ветвями).