《计算机学报》文章摘要   全文下载
文章题目	基于包含的指针分析优化技术综述
作者	陈聪明1),2) 霍玮1) 于洪涛1),2) 冯晓兵1)
作者单位	1)(中国科学院计算技术研究所计算机系统结构重点实验室 北京 100190) 2)(中国科学院研究生院 北京 100190)
发表年份	2011
发表月份	7期(1224—1238)
文章摘要	摘要 指针分析是程序分析和编译优化的基础，针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作，包括在线优化技术如约束图上的强连通分量的检测和消除等和离线优化技术如变量替换等.通过实验对比了7种较有影响力的分析算法和三种离线优化算法，并从性能、内存开销等方面进行了评述和总结.文章最后阐述了基于包含的指针分析今后潜在的研究方向. 关键词 指针分析；Andersen风格；指向集；约束图；流不敏感 中图法分类号 TP311 DOI号: 10.3724/SP.J.1016.2011.01224