Kontrollflussgraph (CFG)

Ein gerichteter Graph $G=\{V,E,V_{entry},V_{exit}\}$, der den Ablauf eines Programms darstellt.

• $V$ (Knoten): Instruktionen oder Basisblöcke.
• $E$ (Kanten): Möglicher Kontrollfluss zwischen den Knoten.
• Verzweigungen (if/switch) erzeugen mehrere ausgehende Kanten; Schleifen erzeugen rückwärts gerichtete Kanten (Back Edges).