Java指针指向分析优化

摘要：

指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息.基于Andersen算法,设计了一种有效的、上下文敏感的指针指向分析算法,支持继承、字段对象等语言特性.不同对象的字段在算法中被分别处理,同时,算法对复合类型的对象实现了基于字段的处理.为了提高算法的效率和可扩展性,引入了两种优化方式:一种是结点间的拓扑排序以降低分析过程中的迭代次数;另一种是在线的环路侦测与消除,它与拓扑排序过程同步实现,有效地提高了处理效率.实验数据表明,该算法可以用来为较大规模的Java代码生成精确的指向关系集合.

关键词：指针指向分析、上下文敏感、字段敏感、环路检测

所属期刊栏目：22

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

资助基金：国家自然科学基金90818022,91018006,61021062;国家重点基础研究发展计划9732009CB320702;核高基项目2009z01036-001-001-3

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

页数：共15页

页码：1140-1154