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

第34卷第7期 计 算 机 学 报 v01．34No．7 2011 2011年7月 CHINESE oFCoMPUTERS July JoURNAL 基于包含的指针分析优化技术综述 陈聪明矗’ 霍 玮 于洪涛’2’ 冯晓兵” (中国科学院计算技术研究所计算机系统结构重点实验室北京100190) 2’(中国科学院研究生院 北京 100190) 摘 要指针分析是程序分析和编译优化的基础，针对基于包含的指针分析算法的改进一直是指针分析领域研究 的热点之一．文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作，包括在线优化技术如约 束图上的强连通分量的检测和消除等和离线优化技术如变量替换等．通过实验对比了7种较