Un modello integrato control-flow e data-flow per il rilevamento ...

Ringraziamenti
In questo percorso mi sono trovato ad affrontare molte situazioni impegnative, quin-
di desidero innanzitutto ringraziare chi mi era vicino in quei momenti per avermi
sopportato, Ilaria in particolare. Spesso il suo aiuto è stato determinante e spesso
non sono stato capace di ricambiarlo.
Il successivo ringraziamento va al mio relatore, Prof. Miculan, per l’opportunità
che mi ha dato e per il “clima” in cui questo lavoro si è svolto. Sono in debito con
lui.
Tra quelli che devo ringraziare ci sono anche gli amici, interni ed esterni all’uni-
versità, compresi quelli che ultimamente hanno perso un po’ la testa. Con loro ho
condiviso momenti di divertimento e importanti scambi di idee.
Naturalmente il ringraziamento più grande va alla mia famiglia per avermi sup-
portato in questo percorso, nonostante i momenti difficili.
Anche se non leggeranno mai questi ringraziamenti, desidero dire grazie a chiun-
que sia coinvolto nello sviluppo dei software che ho usato per mettere insieme questa
tesi. Per scriverla ho usato Vim ma mi sono serviti anche un sacco di altri program-
mi, tra cui: L ATEX, GraphViz, GHC, GCC, GDB, NASM, Subversion, le shell Bourne
e Korn, DTrace e anche qualcosina closed source come OmniGraffle. Questi software
mi hanno permesso tra l’altro di creare dei tool che hanno automatizzato molte parti
del mio lavoro, semplificandolo enormemente. Il loro denominatore comune però è
il sistema operativo che li fa girare, ovvero Unix. Ho usato in particolare Mac OS X
per elaborare il testo e la grafica e Solaris (OpenIndiana) per tutta la parte legata
a DTrace. FreeBSD invece sul mio server garantiva tutta una serie di servizi che mi
sono stati assai utili, storage e backup in primis. Senza Unix e tutto quello che ci
sta sopra tutto questo sarebbe stato infinitamente più difficile e frustrante.
Desidero infine rivolgere un ringraziamento particolare a Chad Mynhier, che mi
ha fornito materiale e consigli preziosissimi relativamente a DTrace.
Durante questa laurea specialistica poche cose sono andate come pensavo e sono
particolarmente felice di essere finalmente giunto al traguardo, anche se purtroppo
la felicità di questi giorni è offuscata dalla cattiva salute del mio Micio. Con la
laurea triennale avevo visto la punta di un iceberg, con la laurea specialistica ho