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

Context Sensitive Interprocedural Pointer Analysis

作　　者：黄波[1] 臧斌宇[1] 韦俊银[1] 朱传琪[1] 

机构地区：[1]复旦大学并行处理研究所,上海200433

出　　处：《计算机学报》2000年第5期477-485,共9页Chinese Journal of Computers

基　　金：国家自然科学基金;教育部科学技术项目资助

摘　　要：提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法已在 C程序分析工具 Agassiz系统中实现 ,实验数据说明这些方法是行之有效的 .Interprocedural pointer analysis plays an important role in parallelizing C program. In this paper, a new approach to how to propagate point to information accross functions is introduced, detailed solutions to many important problems that exist in interprocedural pointer analysis are also presented. Based on these ideas, a context sensitive interprocedural pointer analysis algorithm, which has been implemented in Agassiz, an analyzing tool for C program, is introduced. Experimental results illustrate that the algorithm is effective.

关 键 词：上下文敏感 批针分析 C语言 程序设计 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]