Recovery of jump table case statements from binary code

DOI10.1016/S0167-6423(01)00014-4MaRDI QIDQ5943083zbMATH OpenOpenAlexFDO

Authors Cristina Cifuentes, Mike Van Emmerik

Publication date 9 September 2001

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(01)00014-4

zbMATH Keywords

binary analysisbinary translationslicing

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Recommendations

• Recovery of callback function for static binary translation
• An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
• Programming Languages and Systems
• Compiler Construction
• Verified abstract interpretation techniques for disassembling low-level self-modifying code

Cited in

(8)

• Dynamic binary translation using run-time feedbacks
• Range and set abstraction using SAT
• Alternating control flow reconstruction
• Refinement-based CFG reconstruction from unstructured programs
• An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
• Recovery of callback function for static binary translation
• Compiler Construction
• Programming Languages and Systems

This page was built for publication: Recovery of jump table case statements from binary code

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