本文介绍过程间分析，旨在处理程序中的方法调用以提高分析精度。通过构建调用关系图（如CHA方法），从入口方法递归解析可达调用，并利用过程间控制流图（ICFG）传递数据流信息，最终显著提升常量传播等分析的准确性。

本文介绍程序分析中的关键概念：流敏感、上下文敏感、过程间分析及指针分析技术。对比了AST与IR的差异，强调CHA方法基于类继承快速构建调用图，但忽略数据流和控制流导致精度较低。流敏感分析虽降低速度但提升精度，通常结合上下文敏感和过程间分析使用。

Wendy just called from Xiamen (she went there with friends) and complained that she got a new SD card, and put it into our Nikon D50, and got error message “CHA” and cannot take photo. I did some...