Manifold

An experimental x86-64 ELF and native AMD64 PE32+ binary decompiler using Ascent.

The end-to-end behavioral evaluation and quality claims are currently scoped to stripped x86-64 Linux ELF binaries. AArch64 and ARM32 have target data models, register/ABI definitions, Capstone decoding, CFG classification, and normalization frontends into the shared Mach vocabulary, with focused frontend tests. They have not yet received an end-to-end generated-C behavioral evaluation and are portability structure, not claimed decompilation support. AMD64 PE32+ support is experimental and covered separately from the Linux corpus.

Quick Start

Prerequisites: mold linker, libclang, libcapstone

git clone --recursive <repo-url> && cd manifold
cargo build
cargo run --release -- /bin/ls ls.c
cargo run --release -- <binary> [output.c] [--trace] [--dump-ir] [--measure-rule-times]
RAYON_NUM_THREADS=32 cargo run --release -- /bin/ls ls.c   # Limit threads (default: all cores)
TRACE_NODE=0xcb76 cargo run -- /bin/ls         # Trace a specific node through pipeline

Project Structure

src/
+-- main.rs, lib.rs, util.rs       # Entry point, library root, utilities
+-- x86/                           # IR types (Node, Instruction, MemoryChunk), registers, operations
+-- decompile/
|   +-- elevator.rs                # Pipeline orchestration and DecompileDB
|   +-- passes/*_pass.rs           # Translation passes
|   +-- passes/clight_select/      # Z3 MaxSMT statement/type selection
|   +-- passes/c_pass/             # C AST types, printer, goto reduction
|   +-- analysis/                  # Analysis passes
|   +-- disassembly/               # Capstone-based disassembler
+-- debug/                         # Debug/trace output
+-- data/                          # Static data
ascent-plusplus/                   # Custom Ascent Datalog fork (submodule)

Output Files