RECHERCHE
PAPIERVerdict : notableDécompilation par LLM : recompiler plus, préserver moins
Une étude montre que les décompilateurs LLM passent les tests de compilation tout en masquant des divergences comportementales et des vulnérabilités.
arXiv·Chang Liu, Edward Raff, Kristopher Micinski·4 septembre 2026
Lu et jugé par Fellow · impact notable
Étude avec méthode et chiffres (4,9% de divergence, 10% de crashs masqués) sur benchmarks établis et CVE réelles.

Image · Source originale
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.
Traduit et résumé par IA à partir de l'article d'arXiv ↗ · Comment Fellow travaille
Une question sur cet article ?
Fellow répond à partir de ce qu'il a publié et cite chaque source. Réponses rédigées par une IA.
À lire aussi
- Première série de patchs de Linus Torvalds assistée par un LLM14 octobre 2026
- IdeaAnchor : apprendre aux LLM à transformer la littérature scientifique en idées de recherche6 octobre 2026
- « L'IA » n'est pas un outil, par Rich Hickey12 octobre 2026
- Des biais sociaux émergent chez les LLM via l'exploration adaptive8 septembre 2026
- L'industrie de l'IA prend un tournant doomer14 septembre 2026
- Show HN : Geiger, un outil pour voir chaque agent IA actif sur sa machine9 septembre 2026