SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA
- 1 January 2011
- 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:
- Semi-sparse flow-sensitive pointer analysisACM SIGPLAN Notices, 2009
- BootstrappingPublished by Association for Computing Machinery (ACM) ,2008
- Refining buffer overflow detection via demand-driven path-sensitive analysisPublished by Association for Computing Machinery (ACM) ,2007
- Partial dead code elimination on predicated code regionsSoftware: Practice and Experience, 2006
- Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer AnalysisLecture Notes in Computer Science, 2004
- Tracking pointers with path and context sensitivity for bug detection in C programsACM SIGSOFT Software Engineering Notes, 2003
- Points-to analysis using BDDsPublished by Association for Computing Machinery (ACM) ,2003
- Effective representation of aliases and indirect memory operations in SSA formLecture Notes in Computer Science, 1996
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994
- Efficiently computing static single assignment form and the control dependence graphACM Transactions on Programming Languages and Systems, 1991