A Deterministic Memory Allocator for Dynamic Symbolic Execution

Schemmel, Daniel (Corresponding author); Büning, Julian; Busse, Frank; Nowack, Martin; Cadar, Cristian

Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (2022)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 36th European Conference on Object-Oriented Programming : ECOOP 2022, June 6-10, 2022, Berlin, Germany / edited by Karim Ali, Jan Vitek
Seite(n)/Artikel-Nr.: 9:1-9:26