Interprocedural Control Flow Reconstruction
No abstract available.
Related papers
- Control-flow analysis of function calls and returns by abstract interpretation ICFP 2009
- Alternating Control Flow Reconstruction VMCAI 2012
- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries VMCAI 2009
- Interprocedural Control Flow Analysis ESOP 1999
- Java-to-JavaScript translation via structured control flow reconstruction of compiler IR DLS 2015
- Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization TOPLAS 1997
- EXPLORER : query- and demand-driven exploration of interprocedural control flow properties OOPSLA 2015
- TraceBack: first fault diagnosis by reconstruction of distributed control flow PLDI 2005