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