KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay

  author = {Schemmel, Daniel and Büning, Julian and Busse, Frank and Nowack, Martin and Cadar, Cristian},
  title = {{{KDAlloc}}: {{The}} {{KLEE}} {{Deterministic}} {{Allocator}}: {{Deterministic}} {{Memory}} {{Allocation}} during {{Symbolic}} {{Execution}} and {{Test}} {{Case}} {{Replay}}},
  booktitle = {32nd {{ACM}} {{SIGSOFT}} {{International}} {{Symposium}} on {{Software}} {{Testing}} and {{Analysis}} {{(ISSTA}} 2023)},
  location = {Seattle, WA, USA},
  pages = {1491--1494},
  year = {2023},
  month = {jul},
  doi = {10.1145/3597926.3604921},

The memory allocator can have an important impact in symbolic execution. Taking a user-centric view, this tool demonstration paper discusses some of the main benefits provided by KLEE’s new allocator KDAlloc in terms of improved deterministic execution and bug-finding capabilities. We then introduce a new replay tool for KLEE which enables the native execution to integrate KDAlloc and receive the same heap addresses as during symbolic execution.

Page 1 of ?