Which pointer analysis should I use?
- 1 August 2000
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 25 (5) , 113-123
- https://doi.org/10.1145/347636.348916
Abstract
No abstract availableThis publication has 24 references indexed in Scilit:
- Interprocedural pointer alias analysisACM Transactions on Programming Languages and Systems, 1999
- Type-based alias analysisACM SIGPLAN Notices, 1998
- Context-insensitive alias analysis reconsideredACM SIGPLAN Notices, 1995
- Efficient context-sensitive pointer analysis for C programsACM SIGPLAN Notices, 1995
- Flow-insensitive interprocedural alias analysis in the presence of pointersPublished by Springer Nature ,1995
- The undecidability of aliasingACM Transactions on Programming Languages and Systems, 1994
- Pointer-induced aliasingACM SIGPLAN Notices, 1993
- Interprocedural modification side effect analysis with pointer aliasingACM SIGPLAN Notices, 1993
- A safe approximate algorithm for interprocedural aliasingACM SIGPLAN Notices, 1992
- Constant propagation with conditional branchesACM Transactions on Programming Languages and Systems, 1991