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

Johannes Kinder, Florian Zuleger, Helmut Veith

Browse the full VMCAI paper archive.