ИСТИНА

Программа представляет собой систему гибридного фаззинга и динамического символьного выполнения. Программа обеспечивает интеграцию современных средств фаззинга и инструмента динамического символьного выполнения Sydr. В процессе интеграции программа запускает инструмент sydr для инвертирования условных переходов, используя для этого метрику приоритизации входных данных. Результаты работы инструмента sydr - это новые входные данные, которые затем подаются на вход фазеру для оценки прироста покрытия. Данный алгоритм действий повторяется на протяжении всего процесса фаззинга. Тип ЭВМ: IBM PC-совмест. ПК; ОС: Linux.