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