一种混合式的指针分析算法
雷义伟1
刘国勤2
张志祥1
1.海军工程大学电子工程学院,武汉,4300332.海军驻上海江南造船有限责任公司军代室,上海,201913
摘要：指针的指向分析在检测C语言多线程程序的数据竞争中占有重要的地位.Steensgaard提出的流非敏感上下文非敏感的指针别名分析算法,因其执行效率极高的优点被广泛的应用于快速的指针指向分析.但该算法计算结果精度不高,得到的指针指向集往往有误差.针对该不足,引入了Vineet Kahlon的用求最大更新序列来求指针别名的思想,对Steensgaard算法计算出的结果进行了修正.并通过一个实例证明了改进后的算法比先前的算法更精确.
关键词：流敏感上下文敏感指针分析函数摘要控制流图
分类号：TP301.6(计算技术、计算机技术)
论文发表日期：2011-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 40-43,84 )
英文信息