A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact)

Daniel Schemmel, Julian B√ľning, Frank Busse, Martin Nowack, Cristian Cadar. A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). DARTS, 8(2), 2022. [doi]

Abstract

Abstract is missing.