上下文敏感的过程间指针分析

摘要：

提出了一种新的指针指向信息的过程间传播方法,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法,从而形成了一种实用的上下文敏感的过程间指针分析框架.该方法已在C程序分析工具Agassiz系统中实现,实验数据说明这些方法是行之有效的.

关键词：上下文敏感、指针分析、过程间分析、扩充参数

所属期刊栏目：23

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

资助基金：中国科学院资助项目;教育部科技司资助项目

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

页数：共9页

页码：477-485