支持局部调用图生成的指针分析

• 作者: 万志远 周波
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: 局部调用图 静态分析 指针分析
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 计算机技术、电信技术
• 页码范围: 1031-1040
• 页数: 10页
• 分类号: TP309
• 字数: 8978字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2015.06.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周波	浙江大学计算机科学与技术学院	38	289	10.0	16.0
2	万志远	浙江大学计算机科学与技术学院	3	8	1.0	2.0