Which pointer analysis should I use?
- 1 August 2000
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 23 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
- 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
- Undecidability of static analysisACM Letters on Programming Languages and Systems, 1992
- A safe approximate algorithm for interprocedural aliasingACM SIGPLAN Notices, 1992
- Constant propagation with conditional branchesACM Transactions on Programming Languages and Systems, 1991