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

A Composite Pointer Analysis Algorithm

作　　者：雷义伟[1] 刘国勤 张志祥[1] 

机构地区：[1]海军工程大学电子工程学院,武汉430033 [2]海军驻上海江南造船有限责任公司军代室,上海201913

出　　处：《计算机与数字工程》2011年第11期40-43,84,共5页Computer & Digital Engineering

摘　　要：指针的指向分析在检测C语言多线程程序的数据竞争中占有重要的地位。Steensgaard提出的流非敏感上下文非敏感的指针别名分析算法,因其执行效率极高的优点被广泛的应用于快速的指针指向分析。但该算法计算结果精度不高,得到的指针指向集往往有误差。针对该不足,引入了Vineet Kahlon的用求最大更新序列来求指针别名的思想,对Steensgaard算法计算出的结果进行了修正。并通过一个实例证明了改进后的算法比先前的算法更精确。Point to analysis plays an important role in the data race detecting of C multithreads programs.Steensgaard＇s flow-insensitive and context-insensitive algorithm has been widely used in computing pointer aliases,in respect that it is high efficient.But it is not precise either,there usually exists bogus aliases.So we introduced in Vineet Kahlon＇s method of computing pointer aliases by tracking the maximum complete update sequences,to amend the results computed by Steensgaard＇s algorithm.We have also proved the new algorithm is more precise than the previous algorithm by an example program.

关 键 词：流敏感 上下文敏感 指针分析 函数摘要 控制流图 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]