DARTS.8.2.13.pdf
- Filesize: 486 kB
- 2 pages
Document
A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact)
Authors
Daniel Schemmel 
,
Julian Büning ,
Frank Busse ,
Martin Nowack ,
Cristian Cadar
-
Part of:
Issue:
Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Volume: DARTS, Volume 8 (ECOOP 2022)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2022-06-23
Artifact Description
Document Identifiers
Author Details
Cite AsGet BibTex
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar. A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). In Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022). Dagstuhl Artifacts Series (DARTS), Volume 8, Issue 2, pp. 13:1-13:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/DARTS.8.2.13
https://doi.org/10.4230/DARTS.8.2.13
Artifact
DARTS-8-2-13-artifact-d973292371f5dcc0ff151e6ec2ce92df.zip
(Filesize: 8.08 GB)
Artifact Evaluation Policy
The artifact has been evaluated as described in the ECOOP 2022 Call for Artifacts and the ACM Artifact Review and Badging Policy
Abstract
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.
Subject Classification
ACM Subject Classification
- Software and its engineering → Software testing and debugging
Keywords
- memory allocation
- dynamic symbolic execution
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads