Refinement-based CFG reconstruction from unstructured programs

DOI10.1007/978-3-642-18275-4_6MaRDI QIDQ3075470zbMATH OpenOpenAlexFDO

Authors Sébastien Bardin, Philippe Herrmann, 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

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

Recommendations

• Alternating control flow reconstruction
• An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
• scientific article; zbMATH DE number 1759999
• scientific article; zbMATH DE number 1407672
• Recovery of jump table case statements from binary code

Cites work

• An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
• Compiler Construction
• Computer Aided Verification
• Counterexample-guided abstraction refinement for symbolic model checking
• Grammar Analysis and Parsing by Abstract Interpretation
• scientific article; zbMATH DE number 2090848 (Why is no real title available?)
• Lazy abstraction
• Programming Languages and Systems

Cited in

(10)

• Abstract interpretation of microcontroller code: intervals meet congruences
• From MinX to MinC: semantics-driven decompilation of recursive datatypes
• Verified abstract interpretation techniques for disassembling low-level self-modifying code
• Alternating control flow reconstruction
• Designing and implementing control flow graph for Magic 4th generation language
• An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
• Recovery of callback function for static binary translation
• Runtime verification of embedded real-time systems
• Relational abstract interpretation of arrays in assembly code
• Overlaying control flow graphs on P4 syntax trees with Gremlin

Describes a project that uses

Uses Software

• SLAM
• OSMOSE
• Jakstab

This page was built for publication: Refinement-based CFG reconstruction from unstructured programs

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