Analisi dei sistemi informatici (2015/2016)

Codice insegnamento
4S003735
Docente
Isabella Mastroeni
Coordinatore
Isabella Mastroeni
crediti
6
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Lingua di erogazione
Italiano
Periodo
I semestre dal 1-ott-2015 al 29-gen-2016.

Orario lezioni

I semestre
Giorno Ora Tipo Luogo Note
lunedì 13.30 - 16.30 lezione Aula I  
mercoledì 13.30 - 15.30 lezione Aula I  

Obiettivi formativi

Obiettivo del corso è trattare le principali tecniche di analisi del codice (statiche e dinamiche), al fine di verificarne la correttezza rispetto alle specifiche, funzionali e di sicurezza.

Programma

Basi formali: Teoria dei reticoli, teoria di punto fisso, interpretazione astratta, modelli e semantica di programmi.
Analisi statica: Analisi basate su CFG, Framework monotono, analisi di Data-flow distributive, analisi numeriche e di alias, analisi inter-procedurali (cenni), SSA (cenni).
Slicing: Framework formale, algoritmo di Weiser, algoritmo HPR, forward vs backward slicing.
Analisi dinamiche: Panoramica su debugging, profiling e tracing, disassemblaggio, decompilazione; Emulazione e virtualizzazione, Testing, Monitoring.

Modalità d'esame

L'esame sarà strutturato in due parti e può essere espletato in due modi:
- Scritto + Progetto su argomenti di analisi
- Scritto + Orale (opzionale)
In particolare:
Scritto: Insieme domande per valutare la preparazione dello studente sull'intero programma del corso. La valutazione verrà data in due modi per dare allo studente la possibilità di scegliere come completare l'esame. Tale valutazione sarà espressa sia in 30esimi (in tal caso si è ammessi alla registrazione/orale se la valutazione è maggiore o uguale a 18/30) che come bonus da 0 a 4 (in tal caso si è ammessi a sostenere il progetto se la valutazione è maggiore o uguale a 1)
- Progetto/approfondimento fatto da gruppi di massimo due persone il cui argomento può essere anche proposto al docente da parte del gruppo stesso. Tale progetto sarà presentato sottoforma di una relazione scritta e di una presentazione orale.
Il risultato dell'esame sarà poi ottenuto dando una valutazione in 30esimi (rapportato poi a 24 + 2 punti per la presentazione) al progetto;
- Orale: Esame sull'intero programma del corso. In caso di voto superiore al 26/30 allo scritto l'orale diventa obbligatorio per poter anche solo confermare il voto, altrimenti si può registrare massimo un 26.

Sintetizzando:
- Voto scritto su 4 minore di 1: Ripetere lo scritto;
- Voto scritto su 4 tra 1 e 2,4 (inferiore a 18/30): Fare progetto OPPURE ripetere lo scritto;
- Voto scritto su 4 tra 2,4 e 3,4 (tra 18/30 e 26/30): Fare progetto (in tal caso vale il voto su 4) OPPURE registrare OPPURE fare orale (in questi casi vale il voto in 30esimi)
- Voto scritto maggiore di 3,4 (maggiore di 26/30): Fare progetto (in tal caso vale il voto su 4) OPPURE fare orale OPPURE registrare 26/30.

Opinione studenti frequentanti - 2015/2016


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

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 29.16% 26 4
Respinti 16.66%
Assenti 4.16%
Ritirati 50.0%
Annullati --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
14.2% 0.0% 0.0% 14.2% 0.0% 14.2% 0.0% 0.0% 0.0% 0.0% 14.2% 0.0% 14.2% 28.5%

Valori relativi all'AA 2015/2016 calcolati su un totale di 24 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.