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

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
July 2023
PDF Cite DOI
Type
Conference paper
Publication
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
Daniel Schemmel, M.Sc.
Daniel Schemmel, M.Sc.
Julian Büning, M.Sc.
Julian Büning, M.Sc.
Researcher
Placeholder Avatar
Frank Busse
Placeholder Avatar
Martin Nowack
Placeholder Avatar
Cristian Cadar