データフロー解析
到達定義解析では、プログラムの各点について、そこに到達する可能性のある定義の集合を計算する。
変数 "a" の7行目における到達定義は、行番号集合 {2, 4} である。