| 激进域敏感基于合并的指针分析 |
| |
| 引用本文： | 于洪涛,张兆庆.激进域敏感基于合并的指针分析[J].计算机学报,2009,32(9). |
| |
| 作者姓名： | 于洪涛 张兆庆 |
| |
| 作者单位： | 中国科学院计算技术研究所计算机系统结构重点实验室,北京,100190 |
| |
| 基金项目： | 国家"八六三"高技术研究发展计划项目基金"以编译技术为支撑的高可靠软件开发工具与环境" |
| |
| 摘 要： | 指针分析是静态程序分析的基础,指针分析的精度直接影响后续的程序分析和优化.域敏感性用来描述指针分析是否需要区分结构体对象的不同域成员.文中提出一种激进的基于合并的域敏感指针分析方法,利用目标机器模型中的数据布局信息进行高层分析,使用基地址和偏移的组合来激进地表示一个结构体域成员以能更精确地区分结构体的不同域成员.文中还对原有类型推导规则做了重要改进,尽量避免在合并类型变量时造成的精度损失.为了保证新类型推导规则的正确性,方法将所有的结构体赋值操作转换成对每个结构体成员的赋值操作.大量实验数据表明,该方法分析精度显著高于以往方法而运行开销几乎相当.该方法还将域成员的激进表示集成至编译器的中间表示中以获得可移植性.
|
| 关 键 词： | 域敏感的 基于合并的 Steensgaard风格 指针分析 别名分析 |
An Aggressively Field-Sensitive Unification-Based Pointer Analysis |
| |
| YU Hong-Tao,ZHANG Zhao-Qing.An Aggressively Field-Sensitive Unification-Based Pointer Analysis[J].Chinese Journal of Computers,2009,32(9). |
| |
| Authors: | YU Hong-Tao ZHANG Zhao-Qing |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
