Анализатор исходных текстов программ «АК-ВС 3» — инструмент, предназначенный для автоматизации процесса проведения испытаний при сертификации в соответствии с требованиями различных регуляторов, а также для выполнения периодических проверок в рамках разработки безопасного программного обеспечения.
Данное решение является коробочным и объединяет статический (SAST) и динамический (DAST) анализ кода, а также фаззинг-тестирование (FAST), что позволяет автоматизировать тестирование на предмет безопасности и выявлять различные дефекты и уязвимости.
Функциональные возможности
- Анализ сборки и составление перечня команд компиляции и компоновки, а также создание архива исходных и заголовочных файлов.
-
Статический анализ исходных текстов программ и программных комплексов.
-
Отображение проанализированных исходных текстов с возможностью просмотра найденных потенциальных ошибок и перехода к определению сущностей.
-
Ввод, хранение и отображение примечаний о найденных потенциальных ошибках.
-
Инструментация исходных текстов программ для проведения динамического анализа.
-
Формирование отчётов о структуре проанализированных исходных текстов.
-
Формирование отчётов о результатах динамического анализа.
-
Получение доступной информации о загруженных бинарных файлах.
-
Съём полносистемных трасс выполнения ПО на виртуальных машинах.
-
Возможность проведения фаззинг-исследования.
-
Исследование снятых полносистемных трасс методами отладки и отслеживания помеченных данных.
-
Вывод ассемблерной трассы в файл.
-
Формирование отчётов о результатах исследования методом помеченных данных.
