HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security. - Eckert, Moritz; Bianchi, Antonio; Wang, Ruoyu; Shoshitaishvili, Yan; Kruegel, Christopher; Vigna, Giovanni (2018)