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