When LLM Decompilers Recompile More and Preserve Less
Decompile-Diverge is proposed, a behavioral comparison oracle not relying on fixed or hand-crafted tests: for each function it synthesizes a driver, grows a fuzzing corpus from the reference, and reruns the decompiled code on the same inputs to detect changes in the function's behavior.
Chang Liu, Edward Raff, Kristopher K. Micinski
· 3 citations