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
Sicurezza informatica
Formal methods and theory of security  (DI)
Ingegneria del Software e verifica formale
Formal methods and theory of security  (DI)
Algebra, Geometria e Logica Matematica
Semantics and reasoning  (DI)
Algoritmi, Logica e teoria della computazione
Semantics and reasoning  (DI)  (DI)
Ingegneria del Software e verifica formale
Semantics and reasoning  (DI)
Sicurezza informatica
Software and application security  (DI)
Ingegneria del Software e verifica formale
Software and application security  (DI)
Sicurezza informatica
Software creation and management  (DI)
Ingegneria del Software e verifica formale
Software creation and management  (DI)
Sicurezza informatica
Software organization and properties  (DI)
Ingegneria del Software e verifica formale
Software organization and properties  (DI)

Attività

Strutture

Condividi