angr binary analysis
Всё по теме «angr binary analysis» на форуме Codeby.net. Обсуждений: 1. Разборы, инструменты и практика по информационной безопасности.
-
Статья Weird machines: обнаружение скрытых вычислений через symbolic execution, fuzzing и формальные методы
В 2013 году Bangert et al. показали на USENIX WOOT штуку, от которой у меня до сих пор мурашки: Тьюринг-полную вычислительную систему, построенную исключительно на механизме обработки page fault в x86. Ни одна инструкция оригинальной программы не исполнялась - вся "логика" порождалась...- Сергей Попов
- Тема
- angr binary analysis concolic execution уязвимости fuzzing бинарный анализ gadget chains rop анализ rop цепочки анализ sat smt решатели symbolic execution уязвимости weird weird machine эксплуатация weird machines обнаружение автоматический поиск уязвимостей формальная верификация безопасность
- Ответы: 0
- Раздел: Анализ уязвимостей и исследования