Path-Sensitive Dataflow Analysis with Iterative Refinement

In this paper, we present a new method for supporting abstraction refinement in path-sensitive dataflow analysis. We show how an adjustable merge criterion can be used as an interface to control the degree of abstraction. In particular, we partition the merge criterion with two sets of predicates —...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Dhurjati, Dinakar, Das, Manuvir, Yang, Yue
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology Model Check Path Feasibility Program Point Real Error Software Software engineering Symbolic State
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!