Statische Code-Analyse

▪ Abfolge von Anweisungen analysieren (Interpretation), aber ohne die konkreten Berechnungen auszuführen (Abstraktion).

▪ Beispiele:

▪ Erreichbarkeit von Zweigen/Anweisungen

▪ Bestimmung des tatsächlichen Ergebnis-Typs eines Ausdrucks

▪ Herausforderung: Sehr formales Vorgehen