一种混合式的指针分析算法

• 作者: 刘国勤 张志祥 雷义伟
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 流敏感 上下文敏感 指针分析 函数摘要 控制流图
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 算法与分析
• 页码范围: 40-43,84
• 分类号: TP301.6
• 字数: 3781字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2011.11.011

摘要

指针的指向分析在检测C语言多线程程序的数据竞争中占有重要的地位.Steensgaard提出的流非敏感上下文非敏感的指针别名分析算法,因其执行效率极高的优点被广泛的应用于快速的指针指向分析.但该算法计算结果精度不高,得到的指针指向集往往有误差.针对该不足,引入了Vineet Kahlon的用求最大更新序列来求指针别名的思想,对Steensgaard算法计算出的结果进行了修正.并通过一个实例证明了改进后的算法比先前的算法更精确.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张志祥	海军工程大学电子工程学院	31	94	6.0	8.0
2	雷义伟	海军工程大学电子工程学院	4	5	1.0	2.0
3	刘国勤	海军驻上海江南造船有限责任公司军代室	2	1	1.0	1.0