Java指针指向分析优化

• 作者: 戴雪峰 李倩 汤恩义 王林章 赵建华
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 指针指向分析 上下文敏感 字段敏感 环路检测
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 形式化方法与工具专刊
• 页码范围: 1140-1154
• 分类号: TP314
• 字数: 14548字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.04025

摘要

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