Pointer analysis
Top Cited Papers
- 1 June 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
During the past twenty-one years, over seventy-five papers and nine Ph.D. theses have been published on pointer analysis. Given the tomes of work on this topic one may wonder, “Haven'trdquo; we solved this problem yet?'' With input from many researchers in the field, this paper describes issues related to pointer analysis and remaining open problems.Keywords
This publication has 76 references indexed in Scilit:
- A schema for interprocedural modification side-effect analysis with pointer aliasingACM Transactions on Programming Languages and Systems, 2001
- Evaluating the effectiveness of pointer alias analysesScience of Computer Programming, 2001
- Typed memory management via static capabilitiesACM Transactions on Programming Languages and Systems, 2000
- Interprocedural pointer alias analysisACM Transactions on Programming Languages and Systems, 1999
- Equality-based flow analysis versus recursive typesACM Transactions on Programming Languages and Systems, 1998
- Precise flow-insensitive may-alias analysis is NP-hardACM Transactions on Programming Languages and Systems, 1997
- 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
- Pointer-induced aliasingACM SIGPLAN Notices, 1993
- Abstract description of pointer data structuresACM Letters on Programming Languages and Systems, 1992