Refinement-Based CFG Reconstruction from Unstructured Programs

DOI10.1007/978-3-642-18275-4_6zbMath1317.68028OpenAlexW3138384654MaRDI QIDQ3075470

Philippe Herrmann, Sébastien Bardin, Franck Védrine

Publication date: 15 February 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-18275-4_6

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Alternating Control Flow Reconstruction ⋮ Verified abstract interpretation techniques for disassembling low-level self-modifying code ⋮ Relational abstract interpretation of arrays in assembly code ⋮ Abstract interpretation of microcontroller code: intervals meet congruences ⋮ Runtime verification of embedded real-time systems

Uses Software

• SLAM
• OSMOSE
• Jakstab

Cites Work

• Unnamed Item
• Counterexample-guided abstraction refinement for symbolic model checking
• Grammar Analysis and Parsing by Abstract Interpretation
• An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
• Lazy abstraction
• Compiler Construction
• Programming Languages and Systems
• Computer Aided Verification

This page was built for publication: Refinement-Based CFG Reconstruction from Unstructured Programs