过程间指针分析算法的改进

• 作者: 孙洪浩 林晓斌 王晓飞 王树义
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 指针分析 函数类型过滤 数据流分析
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 90-92,104
• 页数: 4页
• 分类号: TP314
• 字数: 4698字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.01.030

摘要

指针分析对于使用C语言编制程序的数据流分析有着重要的意义.该文介绍指针问题的复杂度、指针分析算法的分类以及指针分析算法的现状,并采用Atkinson提出的基于函数类型过滤得到较为精确的函数调用图的思想,改进刘强提出的上下文敏感的过程间指针分析算法,在对使用函数指针进行函数调用时,使用函数原型过滤限制在函数调用处的函数指针的指向集,提高指针分析的精确度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王树义	大连理工大学电信学院计算机系	7	44	3.0	6.0
2	孙洪浩	大连理工大学电信学院计算机系	1	4	1.0	1.0
3	林晓斌	大连理工大学电信学院计算机系	1	4	1.0	1.0
4	王晓飞	大连理工大学电信学院计算机系	2	19	2.0	2.0