- Восстановление порядка выполнения
- Семантика инструкций
- Парсинг бинарных файлов
- Семантика тестирования
На данный момент, программа поддерживает трансляцию x86-семантики с целочисленной арифметикой, арифметикой с плавающей точкой и векторными операциями.
Для чего это нужно? Этот проект, в теории, позволит делать сумасшедшие порты бо́льшему количеству людей и в более короткие сроки, позволит более-менее избавляться от обфускации malware путем ее перекомпиляции с оптимизациями.
Проект финансируется DARPA.
Проект на Github
PDF с ReCON 2014
Анонс открытия кода проекта