A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact)
- Schemmel, Daniel
- Busse, Frank
- Nowack, Martin
- Cadar, Cristian
Publication date
January 2022
DOI Publisher
DARTS - Dagstuhl Artifacts Series. DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022) Language
EnglishAbstract
KDAlloc is a deterministic memory allocator for Dynamic Symbolic Execution. This artifact provides the allocator itself, integrated into the KLEE symbolic execution engine and the evaluation thereof
Add to ORKG