Agolic: Sistema di Pianificazione AI Migliora la Copertura dell'Esecuzione Simbolica

Un recente articolo pubblicato su arXiv (2608.06397) presenta Agolic, un sistema di pianificazione volto a migliorare l'efficacia dell'esecuzione simbolica. Questa tecnica analizza i programmi esaminando i possibili percorsi di esecuzione, ma le applicazioni pratiche spesso esauriscono le risorse prima di esplorare completamente il comportamento del programma. Agolic mitiga questo problema considerando l'uso dello strumento in diverse esecuzioni limitate, mentre lo strumento di esecuzione simbolica gestisce l'esplorazione dello stato principale. Sfrutta i dati delle esecuzioni precedenti per ottimizzare la configurazione delle successive esecuzioni simboliche limitate (BSE). Le capacità di pianificazione del sistema, le informazioni disponibili e le strategie di esecuzione possono essere adattate per adattarsi a specifici strumenti di esecuzione simbolica e obiettivi di analisi. Un adattamento per l'esplorazione della copertura dei rami utilizza un agente basato su LLM per analizzare il codice sorgente, riprodurre la copertura e i precedenti tentativi di targeting. Le valutazioni su vari programmi C e C++ hanno dimostrato una maggiore copertura in tutti i programmi testati. Questo lavoro è significativo per l'ingegneria del software e l'intelligenza artificiale, specialmente nell'analisi automatica dei programmi.