Points-to analysis using BDDs
- 9 May 2003
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 38 (5) , 103-114
- https://doi.org/10.1145/781131.781144
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Ultra-fast aliasing analysis using CLAPublished by Association for Computing Machinery (ACM) ,2001
- Accurate and efficient predicate analysis with binary decision diagramsPublished by Association for Computing Machinery (ACM) ,2000
- Off-line variable substitution for scaling points-to analysisPublished by Association for Computing Machinery (ACM) ,2000
- Unification-based pointer analysis with directional assignmentsPublished by Association for Computing Machinery (ACM) ,2000
- Partial online cycle elimination in inclusion constraint graphsPublished by Association for Computing Machinery (ACM) ,1998
- Points-to analysis in almost linear timePublished by Association for Computing Machinery (ACM) ,1996
- Evaluation of the domain propThe Journal of Logic Programming, 1995
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994
- Symbolic model checking for sequential circuit verificationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992