Context-Sensitive Points-to Analysis: Is It Worth It?
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Parameterized object sensitivity for points-to analysis for JavaACM Transactions on Software Engineering and Methodology, 2005
- Points-to analysis using BDDsPublished by Association for Computing Machinery (ACM) ,2003
- Scaling Java Points-to Analysis Using SparkLecture Notes in Computer Science, 2003
- Polyglot: An Extensible Compiler Framework for JavaLecture Notes in Computer Science, 2003
- Optimization of Object-Oriented Programs Using Static Class Hierarchy AnalysisPublished by Springer Science and Business Media LLC ,2000
- The Cartesian Product AlgorithmPublished by Springer Science and Business Media LLC ,2000
- Efficient Points-to Analysis for Whole-Program AnalysisLecture Notes in Computer Science, 1999
- Interprocedural pointer alias analysisACM Transactions on Programming Languages and Systems, 1999
- A toolkit for constructing type- and constraint-based program analysesPublished by Springer Science and Business Media LLC ,1998
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994