データフロー解析
条件分岐命令における条件判断に関わる情報を解析する。例えば、条件分岐の条件が x>0 の場合、そのまま分岐しないで処理を続行する場合は x≤0 であり、分岐した場合は x>0 となっていると判断できる。
データフロー方程式の不動点は「ラウンドロビン繰り返しアルゴリズム」を使って計算できる。