Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java
- 1 June 2001
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- Analysis and testing of programs with exception handling constructsIEEE Transactions on Software Engineering, 2000
- Which pointer analysis should I use?Published by Association for Computing Machinery (ACM) ,2000
- Off-line variable substitution for scaling points-to analysisPublished by Association for Computing Machinery (ACM) ,2000
- Unification-based pointer analysis with directional assignmentsPublished by Association for Computing Machinery (ACM) ,2000
- Removing unnecessary synchronization in JavaPublished by Association for Computing Machinery (ACM) ,1999
- Escape analysis for object-oriented languagesPublished by Association for Computing Machinery (ACM) ,1999
- Interprocedural pointer alias analysisACM Transactions on Programming Languages and Systems, 1999
- Fast static analysis of C++ virtual function callsACM SIGPLAN Notices, 1996
- Points-to analysis in almost linear timePublished by Association for Computing Machinery (ACM) ,1996
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994