LLVM-Harness: Strumento AI per la Correzione di Bug nei Compilatori

I ricercatori hanno presentato llvm-harness, uno strumento pionieristico volto ad aiutare gli agenti basati su grandi modelli linguistici (LLM) a comprendere e correggere errori nei compilatori. Questa innovazione si concentra sulla parte intermedia di LLVM, un importante framework per compilatori. I componenti chiave di llvm-harness includono strumenti LLVM progettati per gli agenti, un benchmark chiamato llvm-bench con 334 bug riproducibili della parte intermedia, e un mini-agente specializzato chiamato llvm-autofix-mini per la risoluzione automatica dei bug. Una valutazione di cinque modelli all'avanguardia ha rivelato un calo delle prestazioni quando si affrontano bug dei compilatori con le metodologie attuali. Questa iniziativa affronta le sfide distintive poste dai bug dei compilatori, che richiedono una vasta conoscenza interdisciplinare e spesso presentano segnalazioni vaghe e scarse. L'articolo di ricerca è disponibile su arXiv con l'identificatore 2603.20075.