Publication

An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries