论文部分内容阅读
别名分析对于数据流分析、程序优化和分析工具的实现非常重要。文章提出了一种需求驱动,流非敏感的分析算法来解决指针别名问题。通过构造程序表达式图（PEG）把指针别名问题转化成判断两个指针节点是否是联通的问题,它不同于传统的别名分析方法,它不需要构造别名集合和对其求交集,所以提高了分析指针别名的效率。