Efficient context-sensitive pointer analysis for C programs
- 1 June 1995
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 30 (6) , 1-12
- https://doi.org/10.1145/223428.207111
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- SUIFACM SIGPLAN Notices, 1994
- 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
- Pointer-induced aliasingACM SIGPLAN Notices, 1993
- A safe approximate algorithm for interprocedural aliasingPublished by Association for Computing Machinery (ACM) ,1992
- Semantical interprocedural parallelizationPublished by Association for Computing Machinery (ACM) ,1991
- Analysis of pointers and structuresPublished by Association for Computing Machinery (ACM) ,1990
- Parallelizing programs with recursive data structuresIEEE Transactions on Parallel and Distributed Systems, 1990
- An efficient method of computing static single assignment formPublished by Association for Computing Machinery (ACM) ,1989
- Detecting conflicts between structure accessesPublished by Association for Computing Machinery (ACM) ,1988