Introduzione all'analisi statica

In questo capitolo vengono introdotti i concetti basilari dell'analisi statica, e perché questa può essere utile per individuare problematiche di sicurezza. Viene fatta particolare attenzione al model checking, una tecnica di analisi statica molto usata nella pratica, e vengono proposti degli esempi di come utilizzare il software z3.