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 As Get 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
Artifact
DARTS-8-2-13-artifact-d973292371f5dcc0ff151e6ec2ce92df.zip
(Filesize: 8.08 GB)
MD5 Sum:
d973292371f5dcc0ff151e6ec2ce92df
(Get MD5 Sum)
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