Context-sensitive interprocedural points-to analysis in the presence of function pointers
- 1 June 1994
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 242-256
- https://doi.org/10.1145/178243.178264
Abstract
No abstract availableThis publication has 26 references indexed in Scilit:
- Pointer-induced aliasingACM SIGPLAN Notices, 1993
- Interprocedural modification side effect analysis with pointer aliasingPublished by Association for Computing Machinery (ACM) ,1993
- Efficient call graph analysisACM Letters on Programming Languages and Systems, 1992
- A safe approximate algorithm for interprocedural aliasingPublished by Association for Computing Machinery (ACM) ,1992
- Analysis of pointers and structuresACM SIGPLAN Notices, 1990
- Constructing the procedure call multigraphIEEE Transactions on Software Engineering, 1990
- Interprocedural slicing using dependence graphsACM Transactions on Programming Languages and Systems, 1990
- Parallelizing programs with recursive data structuresIEEE Transactions on Parallel and Distributed Systems, 1990
- Effect analysis in higher-order languagesInternational Journal of Parallel Programming, 1989
- A precise inter-procedural data flow algorithmPublished by Association for Computing Machinery (ACM) ,1981