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)
Contribution to a book, Contribution to a conference proceedings

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


  • Department of Computer Science [120000]
  • Chair of Computer Science 4 (Communication and Distributed Systems) [121710]