Wat is Control-flow-graaf (CFG)?

Graaf die de uitvoeringsstroom van een programma weergeeft, met basisblokken als knopen en vertakkingen en overgangen tussen blokken als pijlen. Gebruikt voor het opsporen van lussen en voor data-flowanalyse.

Japanse benaming: 制御フローグラフ