JP2016 - Interpretazione astratta di 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.