制御フローグラフ

制御フローグラフ（Control Flow Graph, CFG）は、プログラム内の実行パスをノードと辺で表現した有向グラフである。各ノードは基本ブロック（分岐やジャンプのない命令の連続）を表し、辺は制御の移転を示す。コンパイラの最適化や静的解析、テストケースの生成において、プログラムの構造を視覚化・形式化する上で不可欠な基盤技術であり、バグ発見やセキュリティ監査の効率化に大きく寄与する。