Glossary
Graphe de flux de contrôle (CFG)
Un graphe orienté représentant tous les chemins d'exécution possibles d'une fonction, les nœuds étant des blocs de base et les arêtes des branchements.
Un graphe de flux de contrôle (CFG) est un graphe orienté dans lequel chaque nœud est un bloc de base (une séquence linéaire d'instructions sans branchement au milieu) et chaque arête représente un transfert de contrôle possible (saut conditionnel, saut inconditionnel ou enchaînement séquentiel). Les CFG sont générés automatiquement par les désassembleurs comme IDA Pro et Ghidra et affichés sous forme de vues graphiques. Ils permettent de repérer d'un coup d'œil les boucles, les chaînes if-else et les tables de switch. L'analyse de CFG sous-tend de nombreuses techniques automatisées, notamment l'exécution symbolique et le suivi de la couverture de code pendant le fuzzing.