Программное средство поиска уязвимостей в исходном коде методом символьного исполнения

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