Corso di Analisi, trasformazione e comprensione automatica di codice