Strictly declarative specification of sophisticated points-to analyses
- 25 October 2009
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 44 (10), 243-262
- https://doi.org/10.1145/1640089.1640108
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- 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
- Making context-sensitive points-to analysis with heap cloning practical for the real worldACM SIGPLAN Notices, 2007
- Demand-driven points-to analysis for JavaPublished 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
- Scaling Java Points-to Analysis Using SparkLecture Notes in Computer Science, 2003
- Solving demand versions of interprocedural analysis problemsLecture Notes in Computer Science, 1994