Eine Repräsentation aller möglichen Kontrollflüsse in einer Komponente oder einem System durch einen gerichteten Graphen.