基于包含的指针分析优化技术综述  

A Survey of Optimization Technology of Inclusion-Based Pointer Analysis

作　　者：陈聪明[1,2] 霍玮[1] 于洪涛[1,2] 冯晓兵[1] 

机构地区：[1]中国科学院计算技术研究所计算机系统结构重点实验室,北京100190 [2]中国科学院研究生院,北京100190

出　　处：《计算机学报》2011年第7期1224-1238,共15页Chinese Journal of Computers

基　　金：国家"八六三"高技术研究发展计划项目基金(2008AA01Z115);国家"九七三"重点基础研究规划项目基金(2011CB302504);国家核高基重大专项基金(2009ZX01036-001-002);国家自然科学基金创新研究群体科学基金(60921002)资助~~

摘　　要：指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作,包括在线优化技术如约束图上的强连通分量的检测和消除等和离线优化技术如变量替换等.通过实验对比了7种较有影响力的分析算法和三种离线优化算法,并从性能、内存开销等方面进行了评述和总结.文章最后阐述了基于包含的指针分析今后潜在的研究方向.Pointer analysis is the basis of program analysis and compiler optimization.Improvement of inclusion-based pointer analysis is one of the most important research areas in pointer analysis.This paper summarizes two classes of improvement methods of inclusion-based analysis in recently twenty years,including： on-line optimizing technology such as online cycle detection and elimination etc,off-line optimization such as variable substitution.The authors compare seven principal analysis algorithms and three offline optimizing algorithms by significant experiments;evaluated each algorithm from performance and memory consumption.The authors also discuss some further improvements and research points of inclusion-based pointer analysis in the end of this paper.

关 键 词：指针分析 Andersen风格 指向集 约束图 流不敏感 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]