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

摘要

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