Эшелон

Заказать

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

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

Данное решение является коробочным и объединяет статический (SAST) и динамический (DAST) анализ кода, а также фаззинг-тестирование (FAST), что позволяет автоматизировать тестирование на предмет безопасности и выявлять различные дефекты и уязвимости.

Функциональные возможности

Анализ сборки и составление перечня команд компиляции и компоновки, а также создание архива исходных и заголовочных файлов.
Статический анализ исходных текстов программ и программных комплексов.
Отображение проанализированных исходных текстов с возможностью просмотра найденных потенциальных ошибок и перехода к определению сущностей.
Ввод, хранение и отображение примечаний о найденных потенциальных ошибках.
Инструментация исходных текстов программ для проведения динамического анализа.
Формирование отчётов о структуре проанализированных исходных текстов.
Формирование отчётов о результатах динамического анализа.
Получение доступной информации о загруженных бинарных файлах.
Съём полносистемных трасс выполнения ПО на виртуальных машинах.
Возможность проведения фаззинг-исследования.
Исследование снятых полносистемных трасс методами отладки и отслеживания помеченных данных.
Вывод ассемблерной трассы в файл.
Формирование отчётов о результатах исследования методом помеченных данных.

• Цена — по запросу

Заказать

«Сканер-ВС» - система комплексного анализа защищенности

Сканер-ВС - система комплексного анализа защищенности, позволяющая обеспечить своевременное выявление уязвимостей в ИТ-инфраструктуре организаций.

• Цена — по запросу

Заказать

CAT: анализ уязвимостей в компонентах ПО

CAT (Composition Analysis Tool) – специализированный инструмент композиционного анализа (Software Composition Analysis, SCA), предназначенный для выявления и поиска известных уязвимостей в заимствованных компонентах, входящих в состав дистрибутива проверяемого программного продукта.

• Цена — по запросу