4.1 Motivation zum Einsatz von Analyse-Werkzeugen4.2 Techniken von Analyse-Werkzeugen im unteren Preissegment4.2.1 Sprachspezifische Fallstricke4.2.2 Kontrollflussanalyse4.2.3 Datenflussanalyse, Initialisation Tracking4.2.4 Datenflussanalyse, Value Tracking4.2.5 Semantische Analyse4.2.6 Starke Typenprüfung4.3 Techniken von Analysewerkzeugen im oberen Preissegment4.3.1 Größerer Komfort für den Benutzer4.3.2 Concurrency Checks4.3.3 Stack-Analyse und erweiterte Kontrollflussanalyse4.3.4 Erschöpfende Analyse des Zustandsbaums4.4 Statische Security-Analyse (SSA)4.5 Code-Metriken4.6 Werkzeuge für die Automatische Code-Analyse4.7 Diskussion4.8 Fragen und Übungsaufgaben