static-analysis - 制御フロー グラフと呼び出し (フロー?) グラフの実際的な違いは?

Question

ウィキペディアには、制御フロー グラフの定義があります。「コール (フロー?) グラフ」に言及する用語が飛び交うのも聞いたことがありますが、関連するリソースが見つかりません。二人の関係は？

Answer 1

ウィキペディアでは、呼び出しグラフを、プログラム内のサブルーチン間の呼び出し関係の表現として定義しています。コール グラフでは、2 つのノード間のエッジfとg:

      f --> g

fsubroutineが subroutine を呼び出すという事実を表しますg。コール グラフは、プログラムの手続き間のビューを提供します。

制御フロー グラフ (CFG) は、プログラム全体、特にサブルーチンの構造に、より細かい「詳細」を提供します。たとえば、サブルーチンの CFG はf、条件分岐によって誘導されるすべてのパスを明示的にします。

                             / branch1 \
    begin --> condition -->             --> codeblock --> g --> end
                             \ branch2 /

この種の CFG は、サブルーチンのプロシージャ内ビューを構築するために使用されます。