Enigma Engine

Нативный движок обратной разработки на C++, вдохновлённый конвейером анализа Ghidra.

Enigma устраняет зависимость от JVM и предоставляет автономное ядро анализа, которое можно встраивать, расширять и напрямую интегрировать с нативными инструментами и системами ИИ.

---

Текущее состояние

Enigma находится в активной разработке и уже имеет функциональный сквозной конвейер анализа.

Движок анализа

• PE, ELF (32/64-бит, LE/BE, stripped-бинарники через заголовки программы), Mach-O (включая fat/universal), объекты/архивы COFF и путь импорта Ghidra .gzf/.rep
• Мультиархитектурный дизассемблер (x86/x64, ARM32, AArch64, MIPS, включая варианты 16e, PowerPC) через Capstone + скомпилированные спецификации SLEIGH
• Генерация Pcode с использованием нативной библиотеки декомпилятора Ghidra
• Обнаружение функций, проверенное против Ghidra 12.1.3 headless: 100% семантический паритет на уровне инструкций (0 несовпадений мнемоник / 0 несовпадений операндов) на всех малых фикстурах для x86-64, ARM, AArch64, MIPS и PPC; 2856 общих функций / 116k+ семантических совпадений на большом бинарнике x86-64
• Декомпиляция в C с harness паритета по функциям (метрики набора функций, именования, успешности, сигнатур, набора вызываемых функций и текстового сходства относительно Ghidra 12.1.3; ноль halt_baddata на всех фикстурах)
• Восстановление типов с сигнатурами Windows API (1400+ прототипов), прототипами glibc/Linux и таблицами noreturn (Linux/Mac/Windows)
• Символы, ссылки, функции, типы и модель памяти
• Конвейер анализа со 142 зарегистрированными анализаторами
• Сохранение проекта с использованием FlatBuffers + LMDB с git-подобными коммитами и ветками

GUI

• Интерактивный дизассемблер (включая баннеры секций данных + hex/ASCII-дампы)
• Hex-просмотрщик и патчинг
• Декомпилятор (включая разрешение строковых литералов, имена equate, расширенные комментарии)
• Встроенная визуализация потока управления
• Окно Function Graph (масштабируемая блок-схема базовых блоков) + Call Graph
• Исследование перекрёстных ссылок
• Навигация по символам и функциям
• Синхронизация между представлениями Disassembly, Decompiler и Hex
• Переименование функций и символов

Основной конвейер стабилен (78/78 наборов CTest проходят успешно), а текущая работа сосредоточена на расширении покрытия функций, улучшении интеграции движка и GUI и закрытии оставшихся пробелов в возможностях, выявленных в ходе тестирования паритета с Ghidra 12.1.3.

---

Архитектура

Binary (PE / ELF / Mach-O / COFF)
        │
        ▼
Binary Loader
        │
        ▼
Capstone + SLEIGH Disassembly
        │
        ▼
Pcode / Decompiler Engine
        │
        ▼
Analysis Pipeline
        │
        ├── Function Detection
        ├── Type Recovery
        ├── Symbols
        ├── References
        └── Other Analyses
        │
        ▼
Program Model
        │
        ├── Functions
        ├── Symbols
        ├── Types
        ├── Memory
        └── References
        │
        ▼
Storage
        │
        ├── FlatBuffers snapshots
        ├── LMDB index
        └── Git-like commits / branches
        │
        ▼
Qt GUI
        │
        ├── Disassembly
        ├── Decompiler
        ├── Hex View
        ├── CFG / Call Graph
        └── Explorers

Оригинальная работа и компоненты Ghidra

Компонент	Источник
Движок декомпилятора	Нативная библиотека декомпилятора Ghidra на C++
Спецификации процессоров Sleigh	Ghidra
Модель программы	Нативная реализация Enigma на C++
Системы типов и памяти	Нативная реализация Enigma на C++
Конвейер анализа	Нативная реализация Enigma на C++
Обнаружение функций	Нативная реализация Enigma
Загрузчики бинарных файлов	Нативная реализация Enigma (PE/ELF/Mach-O/COFF)
Хранилище	Нативная реализация Enigma
Графический интерфейс	Нативная реализация на Qt6

Enigma использует компоненты Ghidra там, где они предоставляют необходимую низкоуровневую технологию анализа, в то время как окружающая архитектура движка реализована нативно на C++.

---

Сборка

Требования

• C++17 или новее
• CMake 3.16+
• Ninja (бэкенд) или MSYS Makefiles (GUI), MinGW64 g++ через MSYS2
• Capstone
• LMDB
• SQLite3
• FlatBuffers + flatc
• zlib
• Python3 (регрессионные тесты CLI)
• Qt 6 (Widgets, Core, Gui — только для GUI; Qt-Advanced-Docking-System загружается автоматически через CMake FetchContent)

Сборка

git clone https://github.com/adam-040/Enigma.git
cd Enigma/Enigma-Engine

cmake -B build -G Ninja -DCMAKE_BUILD_TYPE=Release
cmake --build build
ctest --test-dir build --output-on-failure

Статус проекта

Enigma больше не является лишь прототипом аналитического ядра. Нативный конвейер, слой хранения, аналитические системы и GUI работают (78/78 наборов CTest проходят успешно).

Текущая разработка сосредоточена на расширении возможностей движка и подключении функциональности, уже существующей в бэкенде, к GUI, а также на закрытии оставшихся пробелов, выявленных в ходе аудитов паритета дизассемблера/декомпилятора Ghidra 12.1.3 (см. PLAN/).

---

Лицензия

Этот проект распространяется под лицензией Apache License 2.0.

Сторонние компоненты, используемые Enigma, остаются под действием их соответствующих лицензий.