Quali tipi di controlli eseguono i compilatori sul codice?

- analisi lessicale: identifica i token del linguaggio e identifica la presenza di simboli non appartenenti al linguaggio - analisi sintattica: identifica le relazioni fra i token e controlla la grammatica del linguaggio - controllo dei tipi: violazione nell'utilizzo dei tipi - analisi del flusso dei dati: rileva problemi relativi a evoluzioni dei valori associati alle variabili