Evaluating the effectiveness of pointer alias analyses
- 31 January 2001
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 39 (1) , 31-55
- https://doi.org/10.1016/s0167-6423(00)00014-9
Abstract
No abstract availableKeywords
This publication has 41 references indexed in Scilit:
- Interprocedural pointer alias analysisACM Transactions on Programming Languages and Systems, 1999
- Comparing flow and context sensitivity on the modification-side-effects problemACM SIGSOFT Software Engineering Notes, 1998
- Solving shape-analysis problems in languages with destructive updatingACM Transactions on Programming Languages and Systems, 1998
- The effects of the precision of pointer analysisPublished by Springer Nature ,1997
- Flow-sensitive interprocedural constant propagationACM SIGPLAN Notices, 1995
- Flow-insensitive interprocedural alias analysis in the presence of pointersPublished by Springer Nature ,1995
- Context-sensitive interprocedural points-to analysis in the presence of function pointersACM SIGPLAN Notices, 1994
- Pointer-induced aliasingACM SIGPLAN Notices, 1993
- Constant propagation with conditional branchesACM Transactions on Programming Languages and Systems, 1991
- Parallelizing programs with recursive data structuresIEEE Transactions on Parallel and Distributed Systems, 1990