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

DOI10.1007/978-3-540-93900-9_19MaRDI QIDQ3600477zbMATH OpenOpenAlexFDO

Authors Johannes Kinder, Florian Zuleger, Helmut Veith

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)

Recommendations

• Alternating control flow reconstruction
• Refinement-based CFG reconstruction from unstructured programs
• scientific article; zbMATH DE number 1759999
• Recovery of jump table case statements from binary code
• Recency-Abstraction for Heap-Allocated Storage

Cited in

(9)

• Abstract interpretation of microcontroller code: intervals meet congruences
• Range and set abstraction using SAT
• Alternating control flow reconstruction
• Refinement-based CFG reconstruction from unstructured programs
• Runtime verification of embedded real-time systems
• A program understanding approach for stripped binary code
• Interactive function identification decreasing the effort of reverse engineering
• Recovery of jump table case statements from binary code
• Context-sensitive analysis without calling-context

Describes a project that uses

Uses Software

• Valgrind

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3600477)