Graphe de Flux de Contrôle

Un graphe orienté qui représente l'ordre d'exécution possible et les transferts de contrôle entre blocs de base ou instructions dans un programme ; les nœuds représentent typiquement des blocs de base et les arêtes des sauts, branches et transitions par paliers.