"Statische Analyse" bezieht sich auf die Softwaretools (oder deren Verwendung) zum Analysieren von Anwendungscode auf beliebige Eigenschaften wie Fehler (nicht initialisierte Variablen, möglicher SQL-Injection-Angriff, ist dieser Code tot, kann ein Argument null sein, ... ) oder Struktur (Wie lautet das Aufrufdiagramm für diesen Code? Gibt es doppelten Code? Welche Informationen werden zwischen Komponenten übertragen?).