Evaluating the precision of static reference analysis using profiling
- 1 July 2002
- proceedings article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 27 (4) , 22-32
- https://doi.org/10.1145/566172.566176
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Points-to analysis for Java using annotated constraintsPublished by Association for Computing Machinery (ACM) ,2001
- Dynamic points-to setsPublished by Association for Computing Machinery (ACM) ,2001
- Unification-based pointer analysis with directional assignmentsPublished by Association for Computing Machinery (ACM) ,2000
- Solving shape-analysis problems in languages with destructive updatingACM Transactions on Programming Languages and Systems, 1998
- Points-to analysis in almost linear timePublished by Association for Computing Machinery (ACM) ,1996
- The undecidability of aliasingACM Transactions on Programming Languages and Systems, 1994
- Interprocedural may-alias analysis for pointersPublished by Association for Computing Machinery (ACM) ,1994
- Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effectsPublished by Association for Computing Machinery (ACM) ,1993
- A safe approximate algorithm for interprocedural aliasingACM SIGPLAN Notices, 1992
- Abstractions for recursive pointer data structuresPublished by Association for Computing Machinery (ACM) ,1992