бинарный анализ уязвимостей
-
Статья Бинарный анализ уязвимостей: полное руководство для пентестера и CTF-игрока
Число зарегистрированных уязвимостей переполнения буфера в NVD (CWE-119/120/121) исчисляется десятками тысяч - и это только один класс бинарных багов из десятка. Conficker, Stuxnet, EternalBlue - каждый из этих инцидентов начинался с ошибки в нативном коде, которую атакующий нашёл раньше...- Сергей Попов
- Тема
- binary exploitation ctf pwn ghidra heap exploitation pwntools rop автоматизация поиска уязвимостей бинарный анализ уязвимостей динамический анализ реверс-инжиниринг статический анализ бинарников фаззинг бинарных приложений
- Ответы: 0
- Раздел: Реверс-инжиниринг и анализ вредоносного ПО
-
Статья Символьное исполнение для поиска уязвимостей: angr, Manticore и Triton на практике
На CSAW CTF 2015 задача «wyvern» из категории Reversing 500 содержала бинарь с десятками вложенных проверок ввода - ручной реверс в Ghidra занял бы часы на восстановление логики всех ветвлений. Скрипт на шести строках решил задачу за 15 минут, автоматически сгенерировав входные данные...- Сергей Попов
- Тема
- angr constraint solving ctf reversing manticore triton z3 solver бинарный анализ уязвимостей символьное исполнение
- Ответы: 0
- Раздел: Реверс-инжиниринг и анализ вредоносного ПО