TY - GEN
T1 - Side-effecting constraint systems
T2 - 10th Asian Symposium on Programming Languages and Systems, APLAS 2012
AU - Apinis, Kalmer
AU - Seidl, Helmut
AU - Vojdani, Vesal
PY - 2012
Y1 - 2012
N2 - Side-effecting constraint systems were originally introduced for the analysis of multi-threaded code [22]. In this paper, we show how this formalism provides a unified framework for realizing efficient interprocedural analyses where the amount of context-sensitivity can be tweaked and where the context-sensitive analyses of local properties can be combined with flow-insensitive analyses of global properties, e.g., about the heap. Side-effecting constraint systems thus form the ideal basis for building general-purpose infrastructures for static analysis. One such infrastructure is the analyzer generator GOBLINT, which we used to practically evaluate this approach on real-world examples.
AB - Side-effecting constraint systems were originally introduced for the analysis of multi-threaded code [22]. In this paper, we show how this formalism provides a unified framework for realizing efficient interprocedural analyses where the amount of context-sensitivity can be tweaked and where the context-sensitive analyses of local properties can be combined with flow-insensitive analyses of global properties, e.g., about the heap. Side-effecting constraint systems thus form the ideal basis for building general-purpose infrastructures for static analysis. One such infrastructure is the analyzer generator GOBLINT, which we used to practically evaluate this approach on real-world examples.
UR - http://www.scopus.com/inward/record.url?scp=84872243482&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-35182-2_12
DO - 10.1007/978-3-642-35182-2_12
M3 - Conference contribution
AN - SCOPUS:84872243482
SN - 9783642351815
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 157
EP - 172
BT - Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings
Y2 - 11 December 2012 through 13 December 2012
ER -