| Java 指针指向分析优化 |
| |
| 引用本文： | 李倩,汤恩义,戴雪峰,王林章,赵建华.Java 指针指向分析优化[J].软件学报,2011,22(6):1140-1154. |
| |
| 作者姓名： | 李倩 汤恩义 戴雪峰 王林章 赵建华 |
| |
| 作者单位： | 计算机软件新技术国家重点实验室(南京大学),江苏南京210093;南京大学,计算机科学与技术系,江苏南京210093 |
| |
| 基金项目： | 国家自然科学基金，国家重点基础研究发展计划(973)，核高基项目 |
| |
| 摘 要： | 指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息.基于Andersen算法,设计了一种有效的、上下文敏感的指针指向分析算法,支持继承、字段对象等语言特性.不同对象的字段在算法中被分别处理,同时,算法对复合类型的对象实现了基于字段的处理.为了提高算法的效率和可扩展性,引入了两种优化方式:一种是结点间的拓扑排序以降低分析过程中的迭代次数;另一种是在线的环路侦测与消除,它与拓扑排序过程同步实现,有效地提高了处理效率.实验数据表明,该算法可以用来为较大规模的Java代码生成精确的指向关系集合.
|
| 关 键 词： | 指针指向分析 上下文敏感 字段敏感 环路检测 |
| 收稿时间： | 2010/7/10 0:00:00 |
| 修稿时间： | 2011/3/29 0:00:00 |
Optimization of Points-to Analysis for Java |
| |
| LI Qian,TANG En-Yi,DAI Xue-Feng,WANG Lin-Zhang and ZHAO Jian-Hua.Optimization of Points-to Analysis for Java[J].Journal of Software,2011,22(6):1140-1154. |
| |
| Authors: | LI Qian TANG En-Yi DAI Xue-Feng WANG Lin-Zhang and ZHAO Jian-Hua |
| |
| Affiliation: | LI Qian1,2,TANG En-Yi1,DAI Xue-Feng1,WANG Lin-Zhang1,ZHAO Jian-Hua1,2 1(State Key Laboratory for Novel Software Technology (Nanjing University),Nanjing 210093,China) 2(Department of Computer Science and Technology,Nanjing University,China) |
| |
| Abstract: | Points-to analysis mainly aims to attain the runtime points-to sets of program variables.This paper describes the design and implementation of an efficient Andersen-style,context-sensitive points-to analysis for Java code.The implementation supports language features such as inheritance,polymorphism,and field objects.The study tracks the fields of individual objects separately and makes the algorithm in field-sensitive style for aggregate objects.To improve the efficiency and scalability of the algorithm,th... |
| |
| Keywords: | points-to analysis context-sensitive field-sensitive cycle elimination |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
