SlimeASM-rev family — native binary → ASM + C reverse transpilers
Recover NASM intel source and C source from tag-less native x86_64 binaries, bit-exact. The family covers two operating systems with two dedicated SKUs that share an x86_64 instruction decoder (~37 opcodes) and a unified Slot IR (Core64 + Ext32, claim 11). Each SKU has its own samples, container layer, and adoption story:
A SlimeNENC-family tool that moves legacy code into a modern language without changing its meaning. A hand rewrite quietly drifts and causes incidents; SlimeNENC doesn't interpret meaning — it copies only the "skeleton" (structure), so the computed results stay identical to the original. It proves the behaviour first, so migration anxiety disappears. It copies only what it can, honestly, and isolates what it can't.
Hand rewrites drift on subtle numeric/exception differences (boundary conditions), and verifying that (old-vs-new testing) costs enormous labour. SlimeNENC faithfully mirrors language-specific traps, proves "zero divergence" via differential testing, backed by an independent reference implementation. The deliverable is a machine-checkable "certificate of behavioural invariance," not human UAT. No overstating; what it can't do isn't hidden.
Source is projected onto a Slot IR (language-independent structural intermediate form) and transcribed structure-preserving into the target. The statically-determined core is made bit-exact; dynamic, state-dependent parts are honestly isolated (isolate, don't confabulate). Backed by differential fuzzing plus formal methods where applicable, with deterministic verification a third party can reproduce locally.
Projection (π) of source as unique structure, not semantics. Primitives are modelled rigorously in bit-vector theory and formally verified over all inputs; composition/loops are covered by Csmith-style differential fuzzing — a two-tier guarantee. Non-reproducible computation (float/parallel/AI) goes to tier-③: meaning-equivalence + convergence + residual. "Where there is form, prove it in bytes; where there is none, in meaning. Lie on neither face."
📋 "Ask your AI at this level" copies this page's explanation with an instruction matched to the level you picked. Paste it into your own AI (Claude · GPT · Gemini · Grok) to dig deeper at that resolution.
SlimeELF-rev
Linux ELF x86_64 binary → NASM + C reverse transpiler
For source-lost / vendor-lost Linux native binaries in banking RHEL fleets, defense embedded Linux, and medical-device daemons. ELF64 parser + syscall heuristic + structured-C emit. Phase E v3 (loop + natural-cond recovery) and Phase F PSDP (auto OpenMP parallelisation) PoCs operational on this side first — the only deterministic decompiler that delivers a 3-stage pipeline (binary → equivalent C → lifted C → parallel C).
SlimePE-rev
Windows PE32+ x86_64 binary → NASM + C reverse transpiler
For vendor-lost Windows .exe / .dll, Microsoft legacy estates, industrial-control (OT) HMIs and instrumentation daemons. PECOFF v8.3 parser + DLL import resolution + Win64 ABI + WinAPI recipe table (9 functions across kernel32 + msvcrt). Reverse output rebuilds as a real .exe and validates by stdout match under WSL2 binfmt.
What is shared, what is OS-specific
| Shared (used by both) | x86_64 instruction decoder (~37 opcodes: SIB / movzx / movsx / cdqe / movsxd / shl-shr-sar / and-or / 32-bit and 64-bit variants), CFG recovery (Cooper-Harvey-Kennedy iterative dominator + Aho/Sethi natural loop body), structured-C emit (do-while + if/else), function-boundary recovery, inter-procedural Slot IR (function = Slot node, call graph as first-class edge, deterministic JSON), Phase E lift v2 (stack-slot promotion + true-local recovery), 8-axis S9 bench schema. |
|---|---|
| ELF-specific (SlimeELF-rev) | ELF64 minimal parser, syscall heuristic (sys_write rax=1 / sys_exit rax=60), Linux x86_64 ABI (rdi/rsi/rdx/...), Phase E v3 (loop / natural-cond recovery), Phase F PSDP (auto OpenMP). |
| PE-specific (SlimePE-rev) | PECOFF v8.3 parser, DLL import resolution (IAT walking), Win64 ABI (rcx/rdx/r8/r9 + shadow space [rsp+0x20]), WinAPI recipe table (kernel32 + msvcrt 9 functions), IAT-indirect-call peephole, trailing-thunk trim. |
| Roadmap (currently ELF-first) | Phase E v3 and Phase F PSDP carry over to PE32+ once MinGW gcc -O0 CFG patterns are absorbed; decoder is already shared. |
Why two SKUs, not one combined SKU
Customer segments do not overlap. Linux ELF reverse is bought by banking RHEL teams, defense / coast-guard procurement, and medical-device regulatory submissions. Windows PE reverse is bought by Microsoft legacy estate owners and industrial-control / OT operators. Sales decks, PoC samples and partner channels are different. Splitting the SKUs lets each page show what is actually mature on that OS (Phase E v3 / Phase F are ELF-first today), without overpromising to PE customers; each page also reads cleanly without combined-figure footnotes.
The patent application JP 2026-046620 (claims 11 / 14d) is generic in scope. Multiple product SKUs are routine under one patent — the SlimeNENC family already does this for SlimeCOBOL / SlimeMUMPS / SlimePL/I / SlimeRPG / SlimeFORTRAN / SlimeNatural / SlimeJCL / SlimeASM (all share the same patent application).
Related materials
- SlimeASM — forward direction (HLASM + Win x64 MASM → Java).
- SlimeNENC family overview — the umbrella product family.
- JP application 2026-046620 v15b, claims 11 / 14d.