Тип публикации: патент
Год издания: 2017
Аннотация: Программа предназначена для автоматизированной оценки наличия уязвимостей в программном коде. В программе реализовано формирование математической модели с использованием конечных автоматов для реализации возможности поиска логических ошибок в исходном коде в ходе детектирования уязвимостей. В качестве основного рабочего инструментаПоказать полностьюиспользуется лексический анализ и грамматики. На вход поступает исходный код, производится детектирование уязвимостей с применением созданных ранее конечных автоматов. Программа может использоваться для анализа вредоносного кода, поиска уязвимостей и других задач.