C语言的别名分析方法研究

• 作者: 丁斌 张志祥
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 指针分析 需求驱动分析 别名分析
• 年，卷（期）: 2011,（2）
• 所属期刊栏目: 算法与分析
• 页码范围: 60-63
• 分类号: TP311
• 字数: 3693字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2011.02.016

摘要

别名分析对于数据流分析、程序优化和分析工具的实现非常重要.文章提出了一种需求驱动,流非敏感的分析算法来解决指针别名问题.通过构造程序表达式图(PEG)把指针别名问题转化成判断两个指针节点是否是联通的问题,它不同于传统的别名分析方法,它不需要构造别名集合和对其求交集,所以提高了分析指针别名的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张志祥	海军工程大学计算机工程系	31	94	6.0	8.0
2	丁斌	海军工程大学计算机工程系	1	2	1.0	1.0