Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
Top Cited Papers
- 9 June 2004
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 39 (6) , 131-144
- https://doi.org/10.1145/996841.996859
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- JeddPublished by Association for Computing Machinery (ACM) ,2004
- Symbolic pointer analysis revisitedPublished by Association for Computing Machinery (ACM) ,2004
- JoeqPublished by Association for Computing Machinery (ACM) ,2003
- Points-to analysis using BDDsPublished by Association for Computing Machinery (ACM) ,2003
- Practical program analysis using general purpose logic programming systems—a case studyPublished by Association for Computing Machinery (ACM) ,1996
- Improving the variable ordering of OBDDs is NP-completeIEEE Transactions on Computers, 1996
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994
- Interprocedural modification side effect analysis with pointer aliasingPublished by Association for Computing Machinery (ACM) ,1993
- A generalization of the differential approach to recursive query evaluationThe Journal of Logic Programming, 1987
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985