An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

DOI10.1007/978-3-540-93900-9_19zbMath1206.68091OpenAlexW1565879960MaRDI QIDQ3600477

Helmut Veith, Johannes Kinder, Florian Zuleger

Publication date: 10 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-93900-9_19

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Alternating Control Flow Reconstruction ⋮ Abstract interpretation of microcontroller code: intervals meet congruences ⋮ Context-sensitive analysis without calling-context ⋮ Runtime verification of embedded real-time systems ⋮ Refinement-Based CFG Reconstruction from Unstructured Programs ⋮ Range and Set Abstraction using SAT

Uses Software

• Valgrind

This page was built for publication: An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries