Argomento 13: Analisi statica