Enigma Engine

Um mecanismo de engenharia reversa nativo em C++ inspirado no pipeline de análise do Ghidra.

O Enigma remove a dependência da JVM e fornece um núcleo de análise autônomo que pode ser incorporado, estendido e integrado diretamente com ferramentas nativas e sistemas de IA.

---

Estado Atual

O Enigma está em desenvolvimento ativo e já possui um pipeline de análise funcional de ponta a ponta.

Mecanismo de Análise

• PE, ELF (32/64 bits, LE/BE, binários stripped via cabeçalhos de programa), Mach-O (incl. fat/universal), objetos/arquivos COFF e caminho de importação Ghidra .gzf/.rep
• Desmontagem multi-arquitetura (x86/x64, ARM32, AArch64, MIPS incl. variantes 16e, PowerPC) via Capstone + especificações SLEIGH compiladas
• Geração de Pcode usando a biblioteca decompiladora nativa do Ghidra
• Detecção de funções auditada contra o Ghidra 12.1.3 headless: 100% de paridade semântica em nível de instrução (0 divergências de mnemônicos / 0 de operandos) em todos os fixtures pequenos para x86-64, ARM, AArch64, MIPS e PPC; 2856 funções compartilhadas / mais de 116 mil correspondências semânticas em um binário x86-64 grande
• Descompilação em C com harness de paridade por função (métricas de conjunto de funções, nomenclatura, sucesso, assinatura, conjunto de chamadas e similaridade de texto em relação ao Ghidra 12.1.3; zero halt_baddata em todos os fixtures)
• Recuperação de tipos com assinaturas da API do Windows (mais de 1400 protótipos), protótipos glibc/Linux e tabelas noreturn (Linux/Mac/Windows)
• Símbolos, referências, funções, tipos e modelo de memória
• Pipeline de análise com 142 analisadores registrados
• Persistência de projeto usando FlatBuffers + LMDB com commits e branches no estilo git

GUI

• Desmontagem interativa (incl. banners de seções de dados + dumps hex/ASCII)
• Visualizador hexadecimal e patching
• Descompilador (incl. resolução de literais de string, nomes de equates, comentários avançados)
• Visualização de fluxo de controle inline
• Janela de Grafo de Função (fluxograma de blocos básicos com zoom) + Grafo de Chamadas
• Exploração de referências cruzadas
• Navegação por símbolos e funções
• Sincronização entre visualizações entre Desmontagem, Descompilador e Hex
• Renomeação de funções e símbolos

O pipeline principal está estável (78/78 suítes CTest aprovadas), e o trabalho atual concentra-se em expandir a cobertura de recursos, melhorar a integração entre mecanismo e GUI e fechar as lacunas de capacidade restantes identificadas durante os testes de paridade com o Ghidra 12.1.3.

---

Arquitetura

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

Trabalho Original vs. Componentes do Ghidra

Componente	Origem
Motor do descompilador	Biblioteca descompiladora nativa em C++ do Ghidra
Especificações de processador Sleigh	Ghidra
Modelo de programa	Implementação nativa em C++ do Enigma
Sistemas de tipos e memória	Implementação nativa em C++ do Enigma
Pipeline de análise	Implementação nativa em C++ do Enigma
Detecção de funções	Implementação nativa do Enigma
Carregadores de binários	Implementação nativa do Enigma (PE/ELF/Mach-O/COFF)
Armazenamento	Implementação nativa do Enigma
GUI	Implementação nativa em Qt6

O Enigma utiliza componentes do Ghidra onde estes fornecem a tecnologia de análise de baixo nível necessária, enquanto a arquitetura do motor circundante é implementada nativamente em C++.

---

Compilação

Requisitos

• C++17 ou superior
• CMake 3.16+
• Ninja (backend) ou MSYS Makefiles (GUI), MinGW64 g++ via MSYS2
• Capstone
• LMDB
• SQLite3
• FlatBuffers + flatc
• zlib
• Python3 (testes de regressão da CLI)
• Qt 6 (Widgets, Core, Gui — apenas GUI; Qt-Advanced-Docking-System é obtido automaticamente via CMake FetchContent)

Compilação

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

---

Status do Projeto

O Enigma já não é apenas um núcleo de análise protótipo. O pipeline nativo, a camada de armazenamento, os sistemas de análise e a GUI estão operacionais (78/78 suítes CTest aprovadas).

O desenvolvimento atual está focado em expandir as capacidades do motor e conectar funcionalidades que já existem no backend à GUI, enquanto se fecham as lacunas restantes identificadas durante as auditorias de paridade do desmontador/descompilador do Ghidra 12.1.3 (ver PLAN/).

---

Licença

Este projeto está licenciado sob a Apache License 2.0.

Os componentes de terceiros utilizados pelo Enigma permanecem sujeitos às suas respetivas licenças.