Institute of Computing Technology, Chinese Academy IR
| 激进域敏感基于合并的指针分析 | |
| 于洪涛; 张兆庆 | |
| 2009 | |
| 发表期刊 | 计算机学报
 |
| ISSN | 0254-4164 |
| 卷号 | 000期号:009页码:1722 |
| 摘要 | 指针分析是静态程序分析的基础，指针分析的精度直接影响后续的程序分析和优化．域敏感性用来描述指针分析是否需要区分结构体对象的不同域成员．文中提出一种激进的基于合并的域敏感指针分析方法，利用目标机器模型中的数据布局信息进行高层分析，使用基地址和偏移的组合来激进地表示一个结构体域成员以能更精确地区分结构体的不同域成员．文中还对原有类型推导规则做了重要改进，尽量避免在合并类型变量时造成的精度损失．为了保证新类型推导规则的正确性，方法将所有的结构体赋值操作转换成对每个结构体成员的赋值操作．大量实验数据表明，该方法分析精度显著高于以往方法而运行开销几乎相当．该方法还将域成员的激进表示集成至编译器的中间表示中以获得可移植性． |
| 关键词 | 域敏感的 基于合并的 Steensgaard风格 指针分析 别名分析 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/36478 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 于洪涛,张兆庆. 激进域敏感基于合并的指针分析[J]. 计算机学报,2009,000(009):1722. |
| APA | 于洪涛,&张兆庆.(2009).激进域敏感基于合并的指针分析.计算机学报,000(009),1722. |
| MLA | 于洪涛,et al."激进域敏感基于合并的指针分析".计算机学报 000.009(2009):1722. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [于洪涛]的文章 |
| [张兆庆]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [于洪涛]的文章 |
| [张兆庆]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [于洪涛]的文章 |
| [张兆庆]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论