An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
Abstract elided by the publisher.
Related papers
- Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation OOPSLA 2025
- Control-flow analysis of function calls and returns by abstract interpretation ICFP 2009
- Trace-based control-flow analysis PLDI 2021
- TraceBack: first fault diagnosis by reconstruction of distributed control flow PLDI 2005
- Modular Abstract Definitional Interpreters for WebAssembly ECOOP 2023
- Alternating Control Flow Reconstruction VMCAI 2012
- Interprocedural Control Flow Reconstruction APLAS 2010
- Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables POPL 2015