@inproceedings{7d0697113bf9423d9701306e07f9fb3d,
title = "SPAS: Scalable path-sensitive pointer analysis on full-sparse SSA",
abstract = "We present a new SPAS (Scalable PAth-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.",
author = "Yulei Sui and Sen Ye and Jingling Xue and Yew, \{Pen Chung\}",
year = "2011",
doi = "10.1007/978-3-642-25318-8\_14",
language = "English (US)",
isbn = "9783642253171",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "155--171",
booktitle = "Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Proceedings",
note = "9th Asian Symposium on Programming Languages and Systems, APLAS 2011 ; Conference date: 05-12-2011 Through 07-12-2011",
}