manticore
-
Статья Символьное исполнение для поиска уязвимостей: angr, Manticore и Triton на практике
На CSAW CTF 2015 задача «wyvern» из категории Reversing 500 содержала бинарь с десятками вложенных проверок ввода - ручной реверс в Ghidra занял бы часы на восстановление логики всех ветвлений. Скрипт на шести строках решил задачу за 15 минут, автоматически сгенерировав входные данные...- Сергей Попов
- Тема
- angr constraint solving ctf reversing manticore triton z3 solver бинарный анализ уязвимостей символьное исполнение
- Ответы: 0
- Раздел: Реверс-инжиниринг и анализ вредоносного ПО