Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters
- 1 January 2009
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Cloning-based context-sensitive pointer alias analysis using binary decision diagramsPublished by Association for Computing Machinery (ACM) ,2004
- Points-to analysis using BDDsPublished by Association for Computing Machinery (ACM) ,2003
- Scaling Java Points-to Analysis Using SparkLecture Notes in Computer Science, 2003
- Ultra-fast aliasing analysis using CLAPublished by Association for Computing Machinery (ACM) ,2001
- Compositional pointer and escape analysis for Java programsPublished by Association for Computing Machinery (ACM) ,1999
- Points-to analysis in almost linear timePublished by Association for Computing Machinery (ACM) ,1996
- Efficient context-sensitive pointer analysis for C programsPublished by Association for Computing Machinery (ACM) ,1995
- 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
- Space/time trade-offs in hash coding with allowable errorsCommunications of the ACM, 1970