论文部分内容阅读
在不分析库代码方法体的前提下,提出一种支持应用部分局部调用图生成的指针分析方法.该方法通过构建一系列规则,对应用部分和库部分的交互行为进行建模,推导库部分的指针信息.基于Soot程序分析框架实现该方法,并在14个Java基准程序上对其性能以及所生成调用图的完整性和精确性进行评估.实验结果表明：该方法的运行速度比Averroes和Spark调用图生成方法分别快4.9倍和13.7倍,并且能够创建完整且精确的局部调用图.