Décompilation par LLM : recompiler plus, préserver moins

Les décompilateurs basés sur des LLM produisent un code C propre jugé principalement sur sa recompilabilité et le passage des tests fournis. Les auteurs montrent que ces métriques masquent des divergences : certaines fonctions passent tous les tests mais diffèrent sur d'autres entrées, et des vulnérabilités disclosées peuvent disparaître sans trace. Ils proposent Decompile-Diverge, un oracle de comparaison comportementale basé sur le fuzzing plutôt que sur des tests fixes.