User: Guest  Login
Author(s):
Kalmer Apinis, Helmut Seidl, and Vesal Vojdani 
Title:
Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis 
Abstract:
Side-effecting constraint systems were originally introduced for the analysis of multi-threaded code. In this paper, we show how 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 gen...    »
 
Keywords:
static analysis; abstract interpretation; constraint solving; inter-procedural analysis 
Year:
2012 
Language:
en