@inproceedings{24a1511cbc6e405ebf40bb4a56a76ae5,
title = "Abstract interpretation, symbolic execution and constraints",
abstract = "Abstract interpretation is a static analysis framework for sound over-approximation of all possible runtime states of a program. Symbolic execution is a framework for reachability analysis which tries to explore all possible execution paths of a program. A shared feature between abstract interpretation and symbolic execution is that each – implicitly or explicitly – maintains constraints during execution, in the form of invariants or path conditions. We investigate the relations between the worlds of abstract interpretation, symbolic execution and constraint solving, to expose potential synergies.",
keywords = "Abstract interpretation, Constraint solving, Dynamic analysis, Static analysis, Symbolic execution",
author = "Roberto Amadini and Graeme Gange and Peter Schachte and Harald S{\o}ndergaard and Stuckey, \{Peter J.\}",
note = "Publisher Copyright: {\textcopyright} Roberto Amadini, Graeme Gange, Peter Schachte, Harald S{\o}ndergaard, and Peter J. Stuckey; licensed under Creative Commons License CC-BY Copyright: Copyright 2021 Elsevier B.V., All rights reserved.; Recent Developments in the Design and Implementation of Programming Languages 2020 ; Conference date: 27-11-2020 Through 27-11-2020",
year = "2020",
month = nov,
doi = "10.4230/OASIcs.Gabbrielli.2020.7",
language = "English",
series = "OpenAccess Series in Informatics",
publisher = "Schloss Dagstuhl",
editor = "\{de Boer\}, \{Frank S.\} and Jacopo Mauro",
booktitle = "Recent Developments in the Design and Implementation of Programming Languages",
}