A defensive binary-analysis workbench that lifts a small executable format into typed SSA and validates control-flow recovery against an emulator.
local-first programming-languages-compilers bounded-instruction-decoder cfg-recovery-engine typed-ssa-lifter symbolic-input-generator differential-emulator
-
Updated
Sep 18, 2026 - Python