In questa tesi viene affrontato il problema dell’analisi statica del codice per rile- vare il trattamento improprio di informazioni personali da parte di applicazioni .NET.
Il flusso di propagazione delle informazioni viene tracciato in base ad impo- stazioni di livello di sicurezza, fornite in modo manuale o automatico ai Tipi definiti nell’applicazione .NET.
A partire dalle informazioni di sicurezza vengono definite una serie di regole atte a formalizzare il comportamento del codice .NET in questo nuovo contesto. Obiettivo finale del lavoro `e stato lo sviluppo di uno strumento in grado di rilevare possibili violazioni della riservatezza dei dati, dovute all’esecuzione di programmi che hanno accesso ad informazioni riservate.