Concrete and Abstract Interpretation: Better Together

Abstract

Recent work in abstracting abstract machines provides a methodology for deriving sound static analyzers from a concrete semantics by way of abstract interpretation. Consequently, the concrete and abstract semantics are closely related by design. We apply Galois-unions as a framework for combining both concrete and abstract semantics, and explore the… (More)

Topics

2 Figures and Tables

Slides referencing similar topics