2011 | OriginalPaper | Chapter
SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA
Authors : Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew
Published in: Programming Languages and Systems
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
We present a new
SPAS
(Scalable
PA
th-
S
ensitive) 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.