データフロー解析
プロシージャ間解析の一部であり、関数コールの解析にあたってそれを呼び出した側のコンテキストを考慮する。特に、そのような情報を使えば呼び出し側に戻ることが可能となるが、context-sensitive でない場合は関数を呼び出している箇所全てに解析情報が伝播することになって、精度が失われる。