目次:
定義-制御フローグラフ（CFG）とはどういう意味ですか？
コンピューターサイエンスでは、制御フローグラフ（CFG）は、プログラムまたはアプリケーションの実行中の制御フローまたは計算のグラフィカルな表現です。 制御フローグラフは、プログラムユニット内のフローを正確に表すことができるため、コンパイラアプリケーションと同様に静的解析で主に使用されます。
制御フローグラフは、その開発の多くをフランシスE.アレンに負っています。
Techopediaは、制御フローグラフ（CFG）について説明します
制御フローグラフはプロセス指向であり、プログラム実行中に通過できるすべてのパスを表示できます。 制御フローグラフは、エッジが制御フローパスを描写し、ノードがジャンプや分岐のない直線セグメントである基本ブロックを描写する有向グラフと考えることもできます。
制御フローグラフには、2つの特別に指定されたブロックがあります。エントリブロックと出口ブロックです。 エントリブロックを使用すると、コントロールがコントロールフローグラフに入ることができますが、コントロールフローは出口ブロックから出ます。 つまり、制御フローグラフは、開始ノード、終了ノード、ノード間のフロー/アークなどのフロー図に含まれるすべての構成要素で構成されます。 制御フローグラフは、さまざまなプログラムユニットまたはアプリケーションが、システムのコンテキスト内のさまざまなエンド間で情報を処理する方法を表すことができます。
制御フローグラフには多くの利点があります。 各基本ブロックごとに情報を簡単に要約できます。 プログラムの到達不能コードを簡単に見つけることができ、ループなどの構文構造を制御フローグラフで簡単に見つけることができます。
