プログラム依存グラフ
プログラム内の文間の依存関係を表す有向グラフ
PDG : program dependence graph
制御依存
ある文の実行の有無が、他の文に影響される
データ依存
ある文で使用する変数の値が、他の文で設定される