ODIN - AFOSR USA: ABSTRACT INTERPRETATION DRIVEN PROGRAMMING LANGUAGES

Data inizio
15 settembre 2023
Durata (mesi) 
60
Dipartimenti
Informatica
Responsabili (o referenti locali)
Dalla Preda Mila

ODIN affronta la sfida di garantire l'affidabilità del codice sviluppando un'analisi dei programmi scalabile ed efficace. Gi approcci attuali combinano il codice con un'analisi della sua correttezza, spesso utilizzando un interprete astratto. Tuttavia, questo ha alcuni inconvenienti: l'analisi statica può generare falsi allarmi e questo diminuisce la credibilità dell'analisi. Inoltre, la precisione dell'analisi dipende da come il codice è scritto, rendendo complesso e costoso adattare l'analizzatore al codice. ODIN propone un approccio inverso: selezionare prima l'analisi e poi strutturare il codice in modo che sia conforme a tale analisi, minimizzando i falsi allarmi. Questo approccio comporta l'esplorazione della conformità del codice all'analisi del programma, un'area relativamente inesplorata, e mira a rendere l'analisi dei programmi più ampiamente utilizzata assicurando che il codice sia scritto in modo da facilitare la verifica.

Progetto realizzato in collaborazione con il prof.  Roberto Giacobazzi ora presso l'Università dell'Arizona.

Enti finanziatori:

AIR FORCE OFFICE OF SCIENTIFIC RESEARCH
Finanziamento: assegnato e gestito dal Dipartimento

Partecipanti al progetto

Mila Dalla Preda
Professore associato
Aree di ricerca coinvolte dal progetto
Ingegneria del Software e verifica formale
Semantics and reasoning

Attività

Strutture

Condividi