Ziele der Programmanalyse
Berechnen (mechanisch) von Informationen über ein Programm um
- zu prüfen, ob Programmoptimierungen zulässig sind = ersetzen eines Programms durch ein „besseres“ Programm, daß das „gleiche“ tut
- produzieren von „intelligenten“ Fehlermeldungen
- prüfen von anderen Aspekten des Programms (z.B. Zeitverhalten)