主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
李倩,汤恩义,戴雪峰,王林章,赵建华.Java 指针指向分析优化.软件学报,2011,22(6):1140-1154
Java 指针指向分析优化
Optimization of Points-to Analysis for Java
投稿时间:2010-07-10  修订日期:2011-03-29
DOI:10.3724/SP.J.1001.2011.04025
中文关键词:  指针指向分析  上下文敏感  字段敏感  环路检测
英文关键词:points-to analysis  context-sensitive  field-sensitive  cycle elimination
基金项目:国家自然科学基金(90818022, 91018006, 61021062); 国家重点基础研究发展计划(973)(2009CB320702); 核高基项目(2009z01036-001-001-3)
作者单位E-mail
李倩 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093
南京大学 计算机科学与技术系,江苏 南京 210093 
 
汤恩义 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093
南京大学 计算机科学与技术系,江苏 南京 210093 
 
戴雪峰 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093
南京大学 计算机科学与技术系,江苏 南京 210093 
 
王林章 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093
南京大学 计算机科学与技术系,江苏 南京 210093 
 
赵建华 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093
南京大学 计算机科学与技术系,江苏 南京 210093 
zhaojh@nju.edu.cn 
摘要点击次数: 5993
全文下载次数: 4742
中文摘要:
      指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息.基于Andersen 算法,设计了一种有效的、上下文敏感的指针指向分析算法,支持继承、字段对象等语言特性.不同对象的字段在算法中被分别处理,同时,算法对复合类型的对象实现了基于字段的处理.为了提高算法的效率和可扩展性,引入了两种优化方式:一种是结点间的拓扑排序以降低分析过程中的迭代次数;另一种是在线的环路侦测与消除,它与拓扑排序过程同步实现,有效地提高了处理效率.实验数据表明,该算法可以用来为较大规模的Java 代码生成精确的指向关系集合.
英文摘要:
      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, this study employs two kinds of optimizations, nodes topology construction with concomitance on-line cycle detection and cycle elimination. Experiment results show that this algorithm can be used to compute precise points-to sets for large-scale Java programs.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利