control flow graph

/kənˈtroʊl floʊ ɡræf/ コントロール フロー グラフ

1. プログラムの実行経路を図式化したもの

ソースコードやバイナリコード内で、命令がどのような順序で実行され、条件分岐や繰り返し処理がどのように機能するかを示すグラフです。ノードは処理ブロック(基本的な命令のシーケンス)を表し、エッジはそれらのブロック間の制御の移行を表します。これにより、プログラムの構造や潜在的な問題を理解しやすくなります。
A control flow graph illustrates the sequence of operations in a program. (制御フローグラフは、プログラム内の操作の順序を示します。)
関連
Data flow graph
Call graph
Program dependence graph
Basic block
Compiler optimization