SOURCE-LINKED INTELLIGENCE

Recompilation Is Not Enough: Test-Guided Decompiled-C Repair

arXiv · AI, language, vision and robotics · article · Sep 7, 2026 · UTC

Decompiled C often becomes recompilable only after repair, but recompilation alone does not establish test-observed behavior. A recompiled command-line binary can still parse options incorrectly, print different bytes, or return a different exit status. We present a few-step workflow for repairing decompiled C using compiler feedback and related official tests. Compiler and linker diagnostics first guide build repair. Once the repaired C recompiles into a binary, smoke checks and related official tests expose behavioral discrepancies for semantic repair. In a preliminary static-enriched evalua

Read original source ↗ Open in workspace

recordType

paper

region

Global