到目前为止,我们只分析了单个函数的主体部分,这被称为过程内分析(intraprocedural analysis)。现在,我们将考虑对包含多个函数和函数调用的整个程序进行过程间分析(interprocedural analysis)。

8.1 过程间控制流图

8.2 上下文敏感

8.3 基于调用字符串的上下文敏感

8.4 函数式的上下文敏感