Sciweavers

Share
APLAS
2011
ACM

SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA

7 years 10 months ago
SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA
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 path-sensitivity to be obtained in flow-sensitive and context-sensitive (FSCS) techniques scalably, by using BDDs to manipulate program paths and by performing pointer analysis level-by-level on a full-sparse SSA representation similarly as the state-of-the-art LevPA (the FSCS version of SPAS). Compared with LevPA using all 27 C benchmarks in SPEC CPU2000 and CPU2006, SPAS incurs 18.42% increase in analysis time and 10.97% increase in memory usage on average, while guaranteeing that all points-to sets are obtained with non-decreasing precision.
Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew
Added 12 Dec 2011
Updated 12 Dec 2011
Type Journal
Year 2011
Where APLAS
Authors Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew
Comments (0)
books