Engine
Ghidra - pseudo-C from Ghidra's decompiler. Free, instant, every architecture.
GPT - Ghidra C + disassembly rewritten by GPT into clean, typed C. Credits per function.
decai - our own neural model for ELF (x86-64, AArch64) and PE (x86-64, with a symbol table) functions and programs. Disassembly context adds callers and callees; switch it off to use only the target function. Generated C is never used as context.
Stages (toggle what runs)
L0 - the engine on every function (always on). Ghidra L0 is free.
L1 - syntax repair (gcc -fsyntax-only). L2 - compile/link repair. L3 - behavioural verification (symbolic execution) with repair. L1<L2<L3 build on each other; the verify stages need Pro/Team.
L4 - readability pass (LLM cleanup, renaming). Independent: run it with or without the verify chain.
Per-Program / Per-Function
Per-Program stages apply to Decompile (whole binary, exportable from the Program tab). Per-Function stages (L0, L1, L4) apply to the ▶ button next to a function in the Split / Disassembly / Decompiled views - L2/L3 need the whole program, so they are program-only.
Each finished program run (engine x stages) is kept and exportable as .c / .zip from the Program tab and the upload page; a later run of the same pair replaces it. ↻ on the upload page clears everything for a file.
