激进域敏感基于合并的指针分析

CORC > 计算技术研究所 > 中国科学院计算技术研究所 > 中国科学院计算技术研究所期刊论文 > 2009年中文

	激进域敏感基于合并的指针分析
	于洪涛; 　　张兆庆
刊名	计算机学报
	2009
期号	第9期
关键词	域敏感的基于合并的Ｓｔｅｅｎｓｇａａｒｄ风格指针分析别名分析
英文摘要	指针分析是静态程序分析的基础，指针分析的精度直接影响后续的程序分析和优化．域敏感性用来描述指针分析是否需要区分结构体对象的不同域成员．文中提出一种激进的基于合并的域敏感指针分析方法，利用目标机器模型中的数据布局信息进行高层分析，使用基地址和偏移的组合来激进地表示一个结构体域成员以能更精确地区分结构体的不同域成员．文中还对原有类型推导规则做了重要改进，尽量避免在合并类型变量时造成的精度损失．为了保证新类型推导规则的正确性，方法将所有的结构体赋值操作转换成对每个结构体成员的赋值操作．大量实验数据表明，该方法分析精度显著高于以往方法而运行开销几乎相当．该方法还将域成员的激进表示集成至编译器的中间表示中以获得可移植性．
语种	中文
公开日期	2010-10-18
内容类型	期刊论文
源URL	[http://ictir.ict.ac.cn/handle/311040/708]
专题	中国科学院计算技术研究所期刊论文_2009年中文
推荐引用方式 GB/T 7714	于洪涛,　　张兆庆. 激进域敏感基于合并的指针分析[J]. 计算机学报,2009(第9期).
APA	于洪涛,&　　张兆庆.(2009).激进域敏感基于合并的指针分析.计算机学报(第9期).
MLA	于洪涛,et al."激进域敏感基于合并的指针分析".计算机学报 .第9期(2009).