angr, Manticore, Triton: «wyvern» CSAW CTF 500 — 15 минут скриптом вместо часов в Ghidra. Честный разбор трёх символьных движков с decision tree и кодом.Символьное исполнение заменяет конкретный ввод символическими переменными...
Символьное исполнение для поиска уязвимостей: angr, Manticore и Triton на практике
Источник: codeby.net