一种面向动态链状数据结构的指针定值引用链算法

摘要：

采用流敏感的方法分析计算过程内操作动态链状数据结构的指针定值引用链.目的是连接对链状数据结构进行定值的语句和引用这些链状数据结构的语句,具体地,每条对链状数据结构进行定值的语句,算法将找出所有引用被该语句定值的链状数据结构的语句的集合.该算法将被整合到我们设计和开发的并行语言mini-SPC中,指导对操作动态链状数据结构的并行程序的正确分析和程序变换.实验表明基于本文的算法能保证操作动态链状数据结构的指针定值引用链的分析精度,提高分析的效率.

关键词：定值引用链、到达定值、别名分析、程序分析、动态链状数据结构

所属期刊栏目：32

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目90718026,60928004

在线出版日期：2012-02-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1412-1417