Static program analysis

Die Aliasanalyse ist eine Technik der Compilertheorie , mit der ermittelt wird, ob auf eine Speicheradresse auf mehrere Arten zugegriffen werden kann.

Ein Aufrufgraph (auch Aufrufmultigraph genannt ) ist ein Kontrollflussgraph , der die Aufrufbeziehungen zwischen Unterprogrammen in einem Computerprogramm darstellt .

In der Programmanalyse ist die Strukturanalyse eine statische Codeanalysetechnik , die Eigenschaften von verknüpften , dynamisch allokierten Datenstrukturen in (meist imperativen ) Computerprogrammen aufdeckt und

In der Informatik , insbesondere im Compilerbau , ist die Wertebereichsanalyse eine Art Datenflussanalyse , die den Wertebereich (das Intervall) verfolgt, den eine numerische Variable zu jedem Zeitpunkt der