到目前为止,我们只分析了单个函数的主体部分,这被称为过程内分析(intraprocedural analysis)。现在,我们将考虑对包含多个函数和函数调用的整个程序进行过程间分析(interprocedural analysis)。
8.1 过程间控制流图
8.2 上下文敏感
8.3 基于调用字符串的上下文敏感
8.4 函数式的上下文敏感