C语言的别名分析方法研究
丁斌
张志祥
1.海军工程大学计算机工程系,武汉,4300332.海军工程大学计算机工程系,武汉,430033
摘要：别名分析对于数据流分析、程序优化和分析工具的实现非常重要.文章提出了一种需求驱动,流非敏感的分析算法来解决指针别名问题.通过构造程序表达式图(PEG)把指针别名问题转化成判断两个指针节点是否是联通的问题,它不同于传统的别名分析方法,它不需要构造别名集合和对其求交集,所以提高了分析指针别名的效率.
关键词：指针分析需求驱动分析别名分析
分类号：TP311(计算技术、计算机技术)
论文发表日期：2011-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 60-63 )
英文信息