Context Sensitive Interprocedural Pointer Analysis
Bo Huang · Chinese Journal of Computers · 2000
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.