【静态分析】过程间分析（Interprocedural Analysis）

1. 使用过程间分析的原因

2.2 调用图的使用

• 理论上所有过程间（跨函数）分析的基础
• 程序的优化
• 程序理解
• 程序debugging
• 程序测试

2.3 针对面向对象语言的调用图构造

2.3.1 调用图构造算法

这部分很好理解，唯一需要注意的是图上两条黄色背景的边，这两条边并不是可有可无的，上面说到的node transfer提过对于每一个方法调用节点将等 左边部分去掉，也就是说从“b=addOne(a)”语句到”c=b-3″语句我们是将a的值传递了过去，而b的值由addOne（）传递，如果去掉这条边的话就意味着a的值只能通过addOne()传播，而addOne()中对a并没有更改，这样会额外消耗系统资源，另外在第二个黄色边中，如果不去除掉b的值，那么最后一个节点得到的b就为NAC,出现错误，所以我们才会要求去掉等 左边的元素。
过程间分析相较于过程内分析的精度更高，因此在实际项目中，我们应该更倾向于使用过程间分析。