静态程序分析（七）:过程间分析

一、为什么需要过程间分析 前面的数据流分析学习中，我们接触到的都是过程内 intraprocedural 的分析，在过程内 分析遇到函数调用如何处理的呢？ 在过程内分析的情况下，对函数调用的通常的做法是：对方法的调用做最保守的估计， 认为方法调用可以做任何事情，以确保安全近似，举例如下： 对于常量传播的例子来说，如下程序片段： 过程内分析不对函数调用进行处理，在 foo()中对函数 bar()时，静态分析认为 bar()函数 输入的参数是任何值，所以 x = NAC，y=NAC，foo 函数中调用 bar 后的返回值也认为是任何 值，所以 n = NAC。而实际的运行情况来看，n 的值是 10，x 就是 42，y 就是 43。过程内分 析丢失了精度。 为提高分析的精度，就需要进行过程间的分析，数据流通过过程间的控制流边进行传递， 如下图所示：