In der Informatik ist Programm-Analyse der Prozess, automatisch das Verhalten von Computerprogrammen zu analysieren. Zwei Hauptannäherungen in der Programm-Analyse sind statische Programm-Analyse und dynamische Programm-Analyse. Hauptanwendungen der Programm-Analyse sind Programm-Genauigkeit und Programm-Optimierung.

Mit der Programm-Analyse verbundene Techniken schließen ein:

• Kontrollfluss und Datenfluss-Analyse
• Einschränkungsbasierte Analyse
• abstrakte Interpretation,
• Typ und Wirkungssysteme.

Eine Technik, an die wegen bestimmter Arten der Programm-Analyse gewandt wird, ist das Programm-Schneiden.

Zusammenhängende Felder schließen Leistungsanalyse und Programm-Überprüfung ein.

Siehe auch

• Automatisierte Coderezension

Weiterführende Literatur

• Flemming Nielson, Hanne Riis Nielson, Chris Hankin (2005). Grundsätze der Programm-Analyse. Springer.