в программном обеспечении
текстов программ «АК-ВС 3»
Анализатор исходных текстов программ «АК-ВС 3»
Анализатор исходных текстов программ «АК-ВС 3» — современное и функциональное средство выявления уязвимостей и недекларированных возможностей в программном обеспечении.
Анализатор исходных текстов программ «АК-ВС 3» предназначен для автоматизации процесса испытаний программных средств защиты информации, в том числе проведения статического и динамического анализов исходных кодов программ и построения основных отчетов согласно требованиям руководящего документа «Защита от несанкционированного доступа к информации. Часть 1 Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей» (Гостехкомиссии России, 1999 год) до первого уровня контроля включительно и «Методики выявления уязвимостей и недекларированных возможностей в программном обеспечении» (ФСТЭК России, 2020 год). Указанное позволяет выполнить полный цикл проведения сертификационных испытаний (для испытательных лабораторий) и автоматизировать ключевые процессы при разработке безопасного программного обеспечения (для компаний-разработчиков программных систем).
Особенности программы
Анализ и построение отчетов в соответствии с руководящим документом Гостехкомиссии России по отсутствию недекларированных возможностей (до 1 уровня контроля включительно)
Проведение сигнатурно-эвристического анализа кода с целью выявления программных закладок и критических уязвимостей ПО
Проведение анализа в соответствии
с РД НДВ или методикой ВУ НДВ
Одновременный анализ нескольких проектов и одновременная работа нескольких экспертов
■ Таблицы информационных объектов (ИО);
■ Таблицы функциональных объектов (ФО);
■ Список невызываемых ФО;
■ Список неопределенных ФО;
■ Таблица связей ФО по управлению;
■ Маршруты выполнения ФО;
■ Таблица связей ФО по информации;
■ Критические маршруты выполнения ФО;
■ Блок-схемы ФО;
■ Список предполагаемых дефектов;
■ Отчёт по базовым блокам (ББ);
■ Отчёт по выявленным вставкам кода.
■ Отработавшие ФО (процедуры и функции);
■ Отработавшие связи между ФО (процедурами и функциями);
■ Отработавшие ФО (ветви);
■ Отработавшие связи между ФО (процедурами, функциями и ветвями);
■ Отработавшие ББ;
■ Отработавшие связи между ББ.
Реестр отечественного ПО
Анализатор исходных текстов программ «АК-ВС 3» включен в единый реестр российских программ для электронных вычислительных машин и баз данных (реестр российского ПО). Запись в реестре №14300 от 26.07.2022 произведена на основании поручения Министерства цифрового развития, связи и массовых коммуникаций Российской Федерации от 26.07.2022 по протоколу заседания экспертного совета от 18.07.2022 №991пр.
Основные лицензии АК-ВС 3
1 проект
-
Поддержка языков: C/C++, Java, C#
-
Лицензия на 1 проект на 1 год
5 проектов
-
Поддержка языков: C/C++, Java, C#
-
Лицензия на 5 проектов на 1 год
Без ограничений
-
Поддержка языков: C/C++, Java, C#
-
Лицензия на 1 год без ограничений по проектам
Установочные комплекты
Аппаратный ключ
-
Образ виртуальной машины для систем виртуализации VMware/Virtual Box
-
Дистрибутив для ОС семейства Linux(Ubuntu 18.04 x64, AstraLinux SE 1.6)
-
Ключ защиты
Программный ключ
-
Образ виртуальной машины для систем виртуализации VMware/Virtual Box
-
Дистрибутив для ОС семейства Linux(Ubuntu 18.04 x64, AstraLinux SE 1.6)
-
Ключ защиты
-
Программный ключ
Лицензия привязывается к компьютеру, для привязки используется:
ID диска, MAC-адрес, IP, серийный номер материнской платы, ID процессов.
Годовая техническая поддержка включает в себя обращения по e-mail и личные консультации технических специалистов по телефону.
Техническая поддержка входит в стоимость первоначальной лицензии (AK-VS3-lic).
Пользовательский интерфейс
Получите бесплатный тестовый доступ к программе
Отправляя заявку на данном сайте, вы даете свое согласие на обработку данных, в соответствии с Политикой обработки персональных данных АО “НПО “Эшелон”
