Compilatori avanzati (2012/2013)

Codice insegnamento
4S000557
Docenti
Isabella Mastroeni, Alessandra Di Pierro
Coordinatore
Isabella Mastroeni
crediti
6
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
II semestre dal 4-mar-2013 al 14-giu-2013.

Orario lezioni

II semestre
Giorno Ora Tipo Luogo Note
lunedì 15.30 - 17.30 lezione Aula I  
martedì 9.30 - 11.30 lezione Aula C  

Obiettivi formativi

Gli obiettivi formativi di questo corso consistono nell'approfondire argomenti avanzati inerenti i compilatori e l'analisi statica con lo scopo di comprendere in modo più approfondito tecniche avanzate di trasformazione di programmi, il cui intento non è necessariamente quello classico di ottimizzare il codice, ma anche quello più di frontiera che consiste nel proteggerlo nascondendo informazione o scoprendo vulnerabilità.

Programma

- Introduzione al corso
- Fondamenti matematici
- Teoria dei reticoli
- Interpretazione astratta
- Compilazione di base
- Analisi di programmi
- Analisi statica su domini numerici
- Data-flow analisi
- Shape analisi
- Control-flow analisi
- Analisi statica probabilistica
- Ottimizzazione
- Single static assignment (SSA)
- Propagazione delle costanti
- Eliminazione della ridondanza
- Analisi inter-procedurale
- Analisi dei puntatori
- BDD nella analisi dei puntatori
- Compilazione dinamica
- Escape analisi

Modalità d'esame

Progetto (approfondimento su uno degli argomenti del corso) + Presentazione

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

I dati relativi all'AA 2012/2013 non sono ancora disponibili