Hybrid context-sensitivity for points-to analysis
- 16 June 2013
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 48 (6), 423-434
- https://doi.org/10.1145/2499370.2462191
Abstract
No abstract availableKeywords
This 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