Interpretazione agentica: un framework di analisi dei programmi basato su LLM
Un nuovo framework chiamato interpretazione agentica propone di combinare l'analisi statica basata su reticoli con il ragionamento sui programmi guidato da LLM. L'approccio scompone gli obiettivi di analisi di alto livello in affermazioni localizzate, tracciando i giudizi dell'LLM per esporre conclusioni supportate o contestate. Ciò affronta la fragilità dell'analisi one-shot dell'intero programma da parte degli LLM, che comprimono molti giudizi dipendenti dalle prove in un'unica risposta opaca. Il framework mira a sfruttare la capacità degli LLM di consultare informazioni al di là del codice sorgente, come documentazione, avvisi di sicurezza, metadati specifici della versione e contratti API informali, mantenendo al contempo la disciplina dell'analisi statica.
Fatti principali
- L'interpretazione agentica combina l'analisi statica basata su reticoli con il ragionamento sui programmi guidato da LLM.
- Scompone gli obiettivi di analisi di alto livello in affermazioni localizzate.
- Traccia i giudizi dell'LLM per esporre conclusioni supportate o contestate.
- L'analisi one-shot dell'intero programma da parte degli LLM è fragile.
- Gli LLM possono consultare documentazione, avvisi di sicurezza, metadati specifici della versione e contratti API informali.
- Il framework porta la disciplina dell'analisi statica basata su reticoli al ragionamento degli LLM.
- Affronta la compressione dei giudizi dipendenti dalle prove in un'unica risposta opaca.
- L'approccio utilizza risultati intermedi per guidare ricerche successive più mirate.
Entità
—