Refinement-Based CFG Reconstruction from Unstructured Programs
No abstract available.
Related papers
- Taming Control Divergence in GPUs through Control Flow Linearization CC 2014
- Type Reconstruction for General Refinement Types ESOP 2007
- Java-to-JavaScript translation via structured control flow reconstruction of compiler IR DLS 2015
- Verifying correct usage of context-free API protocols POPL 2021
- Probabilistic Refinement Session Types PLDI 2025
- A Stable Lossless Syntax Tree for Real-Time Collaborative Programming ECOOP 2026
- Combining CFG and Recursive Functions to Get a New Language ICFP 1998
- rev.ng: a unified binary analysis framework to recover CFGs and function boundaries CC 2017