JP2016 - Interpretazione astratta di COBOL

Data inizio
1 marzo 2017
Durata (mesi) 
24
Dipartimenti
Informatica
Responsabili (o referenti locali)
Mastroeni Isabella
Parole chiave
JOINT PROJECTS, ABSTRACT INTERPRETATION, SOUND STATIC ANALYSIS, PROGRAM VERIFICATION, SEMANTICS, COBOL

OBIETTIVI
ARCTIC ( interpretazione astratta per COBOL ) ha lo scopo di sviluppare e implementare un analizzatore statico corretto per COBOL basata su interpretazione astratta.

PROCEDIMENTO
In particolare siamo interessati ad analizzare programmi COBOL di oltre 100KLOCs non comprendenti ricorsione e con una struttura statica (finita) del grafo delle chiamate di procedura. L'analisi dovrebbe generare invarianti nei punti del programma (in particolare in entrata all'iterazione ed in uscita ed in punti di programma definiti dall'utente). L'interpretazione astratta determina gli invariati interpretando il programma ed i suoi costrutti nel dominio astratto degli intervalli, ottagoni e tipi. Le avvertenze generate (allarmi) saranno generati per overflow, conversione di tipo e bugs sul dimensionamento di campi e non terminazione. l'interprete astratto sarà testato su casi d'uso specifici forniti da Corvallis spa per applicazioni specifiche in alcuni domini di interesse.

MAIN PARTNER
CORVALLIS  S.P.A.

Enti finanziatori:

Finanziamento: assegnato e gestito dal Dipartimento

Partecipanti al progetto

Isabella Mastroeni
Professore associato
Aree di ricerca coinvolte dal progetto
Ingegneria del Software e Sicurezza
Formal methods and theory of security
Informatica teorica
Semantics and reasoning
Ingegneria del Software e Sicurezza
Software and application security
Ingegneria del Software e Sicurezza
Software creation and management
Ingegneria del Software e Sicurezza
Software organization and properties

Attività

Strutture