特願 2026-046620 (請求項 11 / 14d)

SlimeASM-rev ファミリー — native binary → ASM + C 逆変換

tag のない x86_64 native binary から NASM intel ソースと C ソースを bit-exact 復元するファミリー。 2 つの OS 別 SKU で構成、x86_64 命令 decoder (~37 opcode) と統一 Slot IR (Core64 + Ext32、請求項 11) を共有。 sample、container 層、市場文脈は各 SKU 個別ページに分離:

SlimeELF-rev

Linux ELF x86_64 binary → NASM + C 逆変換

銀行 RHEL ・防衛 embedded Linux ・医療機器 daemon の source-lost / vendor-lost な Linux native binary 向け。ELF64 parser + syscall heuristic + 構造化 C emit。Phase E v3 (loop + natural-cond 復元) と Phase F PSDP (auto OpenMP 並列化) PoC は ELF 側で先行動作—3 段 pipeline (binary → 等価 C → lift C → 並列 C) を持つ唯一の決定論的 decompiler。

SlimeELF-rev 詳細 →

SlimePE-rev

Windows PE32+ x86_64 binary → NASM + C 逆変換

vendor-lost な Windows .exe / .dll、Microsoft レガシー、産業制御 (OT) HMI、計装 daemon 向け。PECOFF v8.3 parser + DLL import 解決 + Win64 ABI + WinAPI recipe table (kernel32 + msvcrt 9 関数)。逆変換出力は実 .exe として再ビルドし WSL2 binfmt 実行で stdout 一致を検証。

SlimePE-rev 詳細 →

何が共有で、何が OS 固有か

共有 (両方で使用)	x86_64 命令 decoder (~37 opcode: SIB / movzx / movsx / cdqe / movsxd / shl-shr-sar / and-or / 32/64-bit variant)、CFG 復元 (Cooper-Harvey-Kennedy 反復 dominator + Aho/Sethi natural loop body)、構造化 C emit (`do-while` + `if/else`)、関数境界復元、inter-procedural Slot IR (関数 = Slot ノード、call graph が一級辺、deterministic JSON)、Phase E lift v2 (stack-slot promotion + 真の local 復元)、8 軸 S9 bench schema。
ELF 固有 (SlimeELF-rev)	ELF64 最小 parser、syscall heuristic (sys_write rax=1 / sys_exit rax=60)、Linux x86_64 ABI (rdi/rsi/rdx/...)、Phase E v3 (loop / natural-cond 復元)、Phase F PSDP (auto OpenMP)。
PE 固有 (SlimePE-rev)	PECOFF v8.3 parser、DLL import 解決 (IAT walking)、Win64 ABI (rcx/rdx/r8/r9 + shadow space `[rsp+0x20]`)、WinAPI recipe table (kernel32 + msvcrt 9 関数)、IAT-indirect-call peephole、trailing thunk trim。
roadmap (現状 ELF 先行)	Phase E v3 と Phase F PSDP は MinGW gcc -O0 の CFG pattern を吸収すれば PE 移植可能 (decoder は既に共有)。

なぜ統合 SKU でなく 2 SKU か

顧客セグメントが重ならない。Linux ELF 逆変換は銀行 RHEL チーム、防衛・海保案件、医療機器の規制申請が買い手。Windows PE 逆変換は Microsoft レガシー資産オーナーと産業制御・OT 運用者が買い手。営業 deck、PoC sample、パートナー経路は別。SKU を分けることで、各ページに「その OS で実際に成熟している機能」(現状 Phase E v3 / Phase F は ELF 先行) のみ出せ、PE 顧客に overpromise しない。複合数値の脚注なしに各ページが完結する。

特許出願特願 2026-046620 (請求項 11 / 14d) は generic な射程。1 特許の下で複数 SKU を切るのは SlimeNENC ファミリーで既に常套—SlimeCOBOL / SlimeMUMPS / SlimePL/I / SlimeRPG / SlimeFORTRAN / SlimeNatural / SlimeJCL / SlimeASM すべて同一特許出願の下。