Enigma Engine

Un moteur de rétro-ingénierie natif en C++ inspiré du pipeline d'analyse de Ghidra.

Enigma supprime la dépendance à la JVM et fournit un cœur d'analyse autonome qui peut être embarqué, étendu et intégré directement avec des outils natifs et des systèmes d'IA.

---

État actuel

Enigma est en développement actif et dispose déjà d'un pipeline d'analyse fonctionnel de bout en bout.

Moteur d'analyse

• PE, ELF (32/64 bits, LE/BE, binaires strippés via les en-têtes de programme), Mach-O (y compris fat/universal), objets/archives COFF, et chemin d'import Ghidra .gzf/.rep
• Désassemblage multi-architectures (x86/x64, ARM32, AArch64, MIPS y compris les variantes 16e, PowerPC) via Capstone + spécifications SLEIGH compilées
• Génération de Pcode à l'aide de la bibliothèque de décompilation native de Ghidra
• Détection de fonctions auditée par rapport à Ghidra 12.1.3 headless : parité sémantique au niveau instruction de 100 % (0 écart de mnémonique / 0 écart d'opérande) sur tous les petits fixtures pour x86-64, ARM, AArch64, MIPS et PPC ; 2856 fonctions partagées / 116k+ correspondances sémantiques sur un grand binaire x86-64
• Décompilation C avec un harnais de parité par fonction (métriques d'ensemble de fonctions, de nommage, de succès, de signature, d'ensemble d'appelés et de similarité textuelle par rapport à Ghidra 12.1.3 ; zéro halt_baddata sur tous les fixtures)
• Récupération de types avec les signatures de l'API Windows (1400+ prototypes), les prototypes glibc/Linux et les tables noreturn (Linux/Mac/Windows)
• Symboles, références, fonctions, types et modèle mémoire
• Pipeline d'analyse avec 142 analyseurs enregistrés
• Persistance de projet utilisant FlatBuffers + LMDB avec des commits et des branches à la manière de git

GUI

• Désassemblage interactif (y compris bannières de sections de données + dumps hex/ASCII)
• Visionneuse hexadécimale et patching
• Décompilateur (y compris résolution des littéraux de chaîne, noms d'équates, commentaires avancés)
• Visualisation du flux de contrôle en ligne
• Fenêtre Function Graph (organigramme de blocs de base zoomable) + Call Graph
• Exploration des références croisées
• Navigation par symboles et fonctions
• Synchronisation entre vues entre Disassembly, Decompiler et Hex
• Renommage des fonctions et des symboles

Le pipeline principal est stable (78/78 suites CTest au vert), et le travail actuel se concentre sur l'extension de la couverture fonctionnelle, l'amélioration de l'intégration moteur/GUI et la réduction des écarts de capacité restants identifiés lors des tests de parité avec Ghidra 12.1.3.

---

Architecture

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

Travail original vs composants Ghidra

Composant	Source
Moteur de décompilation	Bibliothèque de décompilation native C++ de Ghidra
Spécifications de processeur Sleigh	Ghidra
Modèle de programme	Implémentation native C++ d'Enigma
Systèmes de types et de mémoire	Implémentation native C++ d'Enigma
Pipeline d'analyse	Implémentation native C++ d'Enigma
Détection de fonctions	Implémentation native d'Enigma
Chargeurs de binaires	Implémentation native d'Enigma (PE/ELF/Mach-O/COFF)
Stockage	Implémentation native d'Enigma
Interface graphique	Implémentation native Qt6

Enigma utilise les composants de Ghidra là où ils fournissent la technologie d'analyse de bas niveau requise, tandis que l'architecture du moteur environnant est implémentée nativement en C++.

---

Compilation

Prérequis

• C++17 ou version ultérieure
• CMake 3.16+
• Ninja (backend) ou MSYS Makefiles (GUI), MinGW64 g++ via MSYS2
• Capstone
• LMDB
• SQLite3
• FlatBuffers + flatc
• zlib
• Python3 (tests de régression CLI)
• Qt 6 (Widgets, Core, Gui — GUI uniquement ; Qt-Advanced-Docking-System est récupéré automatiquement via CMake FetchContent)

Compilation

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

État du projet

Enigma n'est plus seulement un noyau d'analyse prototype. Le pipeline natif, la couche de stockage, les systèmes d'analyse et l'interface graphique sont opérationnels (78/78 suites CTest au vert).

Le développement actuel se concentre sur l'extension des capacités du moteur et la connexion à l'interface graphique de fonctionnalités déjà présentes dans le backend, tout en comblant les lacunes restantes identifiées lors des audits de parité désassembleur/décompilateur de Ghidra 12.1.3 (voir PLAN/).

---

Licence

Ce projet est sous licence Apache License 2.0.

Les composants tiers utilisés par Enigma restent soumis à leurs licences respectives.