基于包含的指针分析优化技术综述
文献类型:期刊论文
作者 | 陈聪明; 霍玮; 于洪涛; 冯晓兵 |
刊名 | 计算机学报
![]() |
出版日期 | 2011 |
卷号 | 34.0期号:007页码:1224 |
关键词 | 指针分析 Andersen风格 指向集 约束图 流不敏感 |
ISSN号 | 0254-4164 |
英文摘要 | 指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作,包括在线优化技术如约束图上的强连通分量的检测和消除等和离线优化技术如变量替换等.通过实验对比了7种较有影响力的分析算法和三种离线优化算法,并从性能、内存开销等方面进行了评述和总结.文章最后阐述了基于包含的指针分析今后潜在的研究方向. |
语种 | 英语 |
源URL | [http://119.78.100.204/handle/2XEOYT63/26126] ![]() |
专题 | 中国科学院计算技术研究所期刊论文_中文 |
作者单位 | 中国科学院计算技术研究所 |
推荐引用方式 GB/T 7714 | 陈聪明,霍玮,于洪涛,等. 基于包含的指针分析优化技术综述[J]. 计算机学报,2011,34.0(007):1224. |
APA | 陈聪明,霍玮,于洪涛,&冯晓兵.(2011).基于包含的指针分析优化技术综述.计算机学报,34.0(007),1224. |
MLA | 陈聪明,et al."基于包含的指针分析优化技术综述".计算机学报 34.0.007(2011):1224. |
入库方式: OAI收割
来源:计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。