特に、そのような情報を使えば呼び出し側に戻ることが可能となるが、context-sensitiveでない場合は関数を呼び出している箇所全てに解析情報が伝播することになって、精度が失われる。
特别的，使用上下文信息，可以回退到原始的调用点，而如果没有这种信息，分析时就必须回退到所有可能的调用点，而丧失潜在的精度。