Hybrid context-sensitivity for points-to analysis
- 16 June 2013
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Application-Only Call Graph ConstructionLecture Notes in Computer Science, 2012
- Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementationACM Transactions on Software Engineering and Methodology, 2008
- Demand-driven alias analysis for CPublished by Association for Computing Machinery (ACM) ,2008
- The ant and the grasshopperPublished by Association for Computing Machinery (ACM) ,2007
- codeQuest: Scalable Source Code Queries with DatalogLecture Notes in Computer Science, 2006
- Demand-driven points-to analysis for JavaPublished by Association for Computing Machinery (ACM) ,2005
- Context-sensitive program analysis as database queriesPublished by Association for Computing Machinery (ACM) ,2005
- Using Datalog with Binary Decision Diagrams for Program AnalysisLecture Notes in Computer Science, 2005
- 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