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

【Abstract】 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.更多还原