《计算机学报》文章摘要   全文下载
文章题目	点间确定别名及其在Java程序数据依赖分析中的应用
作者	钱巨 徐宝文 周毓明
作者单位	(东南大学计算机科学与工程学院 南京 210096) (江苏省软件质量研究所 南京 210096)
发表年份	2008
发表月份	3期(419—430)
文章摘要	摘要 堆内存的大量使用使得Java程序上数据依赖关系的精确提取仍存在许多困难.对于堆空间上的依赖提取，通常的做法是先对堆上空间进行命名，再据此分析依赖关系.然而该方法不能在多个定义间进行强更新，故分析精度不够理想.针对此问题，该文首先提出了一种点间确定别名的概念，然后用它生成强更新和相对更新来精化数据依赖分析.实验表明，与不进行强更新和相对更新的数据依赖分析方法相比，新算法能够在相对较少的额外时间消耗内，有效地提高堆空间上依赖分析的精度. 关键词 数据依赖；指针分析；别名分析；确定别名；强更新