ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Программа позволяет символьно интерпретировать бинарный код программ, а также инструментирует бинарный код анализируемой программы и строит для нее предикат пути. Программа позволяет инвертировать переходы, зависящие от входных данных, а также проверять совместность предикатов безопасности. Программа поддерживает разные виды входных данных: стандартный поток ввода, аргументы командной строки, переменные среды, файлы и сеть. Программа генерирует новые входные данные, которые позволяют провести выполнение программы по другому пути или же воспроизвести ошибку. Программа может быть использован для увеличения покрытия при фаззинге, а также для поиска ошибок в программе. Тип ЭВМ: IBM РС - совмест. ПК. ОС: Linux, Windows.