Refinement-based context-sensitive points-to analysis for Java
- 11 June 2006
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 41 (6), 387-400
- https://doi.org/10.1145/1133255.1134027
Abstract
No abstract availableThis publication has 29 references indexed in Scilit:
- Context-Sensitive Points-to Analysis: Is It Worth It?Lecture Notes in Computer Science, 2006
- Demand-driven points-to analysis for JavaPublished by Association for Computing Machinery (ACM) ,2005
- Parameterized object sensitivity for points-to analysis for JavaACM Transactions on Software Engineering and Methodology, 2005
- Symbolic pointer analysis revisitedPublished by Association for Computing Machinery (ACM) ,2004
- Cloning-based context-sensitive pointer alias analysis using binary decision diagramsPublished by Association for Computing Machinery (ACM) ,2004
- Points-to analysis using BDDsPublished by Association for Computing Machinery (ACM) ,2003
- Dimensions of Precision in Reference Analysis of Object-Oriented Programming LanguagesLecture Notes in Computer Science, 2003
- A framework for call graph construction algorithmsACM Transactions on Programming Languages and Systems, 2001
- Undecidability of context-sensitive data-dependence analysisACM Transactions on Programming Languages and Systems, 2000
- Program analysis via graph reachabilityInformation and Software Technology, 1998