controllo statico

Controllo automatico durante la compilazione che può rilevare un bug in base alla semantica del codice.