论文指出，以LLM为核心的反编译器即使通过编译和测试，仍有4.9%至13%的代码在合法输入上与原始程序行为不符，现有指标无法捕捉此类错误。为此提出Decompile-Diverge，用模糊测试对比行为，发现可重编译性与行为一致性背离，漏洞可能无声消失。建议将可重编译性降为必要条件，并辅以行为等价测试。