Benutzer: Gast  Login
Titel:

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

Autor(en):
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...     »
Stichworte:
static analysis; abstract interpretation; constraint solving; inter-procedural analysis
Jahr:
2012
Sprache:
en
 BibTeX