User: Guest  Login
Title:

Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis

Author(s):
Kalmer Apinis, Helmut Seidl, and Vesal Vojdani
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
 BibTeX