From Debugging-Information Based Binary-Level Type Inference to CFG Generation
Enforcing forward-edge control-flow integrity in GCC & LLVM