| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 激进域敏感基于合并的指针分析 |
| 作者 | 于洪涛 张兆庆 |
| 作者单位 | (中国科学院计算技术研究所计算机系统结构重点实验室 北京 100190) |
| 发表年份 | 2009 |
| 发表月份 | 9期(1722—1735) |
| 文章摘要 | 摘要 指针分析是静态程序分析的基础，指针分析的精度直接影响后续的程序分析和优化.域敏感性用来描述指针分析是否需要区分结构体对象的不同域成员.文中提出一种激进的基于合并的域敏感指针分析方法，利用目标机器模型中的数据布局信息进行高层分析，使用基地址和偏移的组合来激进地表示一个结构体域成员以能更精确地区分结构体的不同域成员.文中还对原有类型推导规则做了重要改进，尽量避免在合并类型变量时造成的精度损失.为了保证新类型推导规则的正确性，方法将所有的结构体赋值操作转换成对每个结构体成员的赋值操作. 大量实验数据表明，该方法分析精度显著高于以往方法而运行开销几乎相当.该方法还将域成员的激进表示集成至编译器的中间表示中以获得可移植性. 关键词 域敏感的;基于合并的；Steensgaard风格；指针分析；别名分析 中图法分类号：TP311 DOI号：10.3724/SP.J.1016.2009.01722 |