Modular interprocedural pointer analysis using access paths
- 1 May 2000
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 35 (5) , 57-69
- https://doi.org/10.1145/358438.349311
Abstract
In this paper we present a modular interprocedural pointer analysis algorithm based on access-paths for C programs. We argue that access paths can reduce the overhead of representing context-sensitive transfer functions and effectively distinguish non-recursive heap objects. And when the modular analysis paradigm is used together with other techniques to handle type casts and function pointers, we are able to handle significant programs like those in the SPECcint92 and SPECcint95 suites. We have implemented the algorithm and tested it on a Pentium II 450 PC running Linux. The observed resource consumption and performance improvement are very encouraging.Keywords
This publication has 31 references indexed in Scilit:
- Relevant context inferencePublished by Association for Computing Machinery (ACM) ,1999
- Points-to analysis in almost linear timePublished by Association for Computing Machinery (ACM) ,1996
- Context-insensitive alias analysis reconsideredPublished by Association for Computing Machinery (ACM) ,1995
- Efficient context-sensitive pointer analysis for C programsPublished by Association for Computing Machinery (ACM) ,1995
- Interprocedural may-alias analysis for pointersPublished by Association for Computing Machinery (ACM) ,1994
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994
- A safe approximate algorithm for interprocedural aliasingPublished by Association for Computing Machinery (ACM) ,1992
- Efficiently computing static single assignment form and the control dependence graphACM Transactions on Programming Languages and Systems, 1991
- Compiling C for vectorization, parallelization, and inline expansionPublished by Association for Computing Machinery (ACM) ,1988
- Register allocation by priority-based coloringPublished by Association for Computing Machinery (ACM) ,1984