From Debugging-Information Based Binary-Level Type Inference to CFG Generation
RockSalt: better, faster, stronger SFI for the x86