Kontrollflussgraph
Definition
Ein gerichteter Graph, der die mögliche Ausführungsreihenfolge und den Kontrolltransfer zwischen Grundblöcken oder Anweisungen in einem Programm darstellt; Knoten stehen typischerweise für Grundblöcke und Kanten für Sprünge, Verzweigungen und Fall-through-Übergänge.