过程间分析（interprocedual analysis），指的是分析函数调用（method call） 的方法。之前讲到过的静态分析技术，都没有涉及到—在过程中调用函数应该如何分析，过程间分析主要解决这个问题。

• 1. Motivation
• 2. Call Graph Construction (CHA)
  • java静态分析基础
  • classes hierarchy analysis
• 3. Interprocedural Control-Flow Graph
• 4. Interprocedural Data-Flow Analysis

1. Motivation

2. Call Graph Construction (CHA)

关于构建调用图的方法有很多，有4种，如下图所示：

java静态分析基础

classes hierarchy analysis

3. Interprocedural Control-Flow Graph

4. Interprocedural Data-Flow Analysis