From Debugging-Information Based Binary-Level Type Inference to CFG Generation
Analyzing Memory Accesses in x86 Executables