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
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
Event
32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '23), Jul 17 - Jul 21, 2023, Seattle, WA, United States
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