From Debugging-Information Based Binary-Level Type Inference to CFG Generation
HyperSafe: A Lightweight Approach to Provide Lifetime Hypervisor Control-Flow Integrity