2 search results - page 1 / 1 » SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Spars... |
APLAS
2011
ACM
12 years 4 months ago
2011
ACM
We present a new SPAS (ScalablePAth-Sensitive)framework for resolving points-to sets in C programs that exploits recent advances in pointer analysis. SPAS enables intraprocedural p...
CGO
2010
IEEE
13 years 11 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...