Alternating Control Flow Reconstruction
Abstract elided by the publisher.
Related papers
- Interprocedural Control Flow Reconstruction APLAS 2010
- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries VMCAI 2009
- Java-to-JavaScript translation via structured control flow reconstruction of compiler IR DLS 2015
- TraceBack: first fault diagnosis by reconstruction of distributed control flow PLDI 2005
- Trace-based control-flow analysis PLDI 2021
- Control-flow analysis of function calls and returns by abstract interpretation ICFP 2009
- BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results VMCAI 2020
- Debugging Concurrent Processes: A Case Study PLDI 1988