流非敏感的跨过程的别名分析

摘要：

数据流分析算法可以分类成流敏感和流非敏感两类.为了提高效率,流非敏感的跨过程分析没有利用与每个过程相关的过程内的控制流信息.文中,提出了一种流非敏感的数据流分析算法来计算指针引起的跨过程的别名问题.通过如下方法来提高了分析的精度:利用某些特定类型的注销(kill)信息,这些信息可以提前计算;计算每个过程内产生的别名信息,而不是只计算每个过程的出口点产生的别名信息.

关键词：数据流分析、别名分析、控制流、注销信息

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

资助基金：跨行业预研基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：109-112