Document Open Access Logo

A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact)

Authors Daniel Schemmel , Julian Büning , Frank Busse , Martin Nowack , Cristian Cadar

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.8.2.13.pdf
  • Filesize: 486 kB
  • 2 pages

Document Identifiers

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)
    0
    PDF Downloads
    0
    Metadata Views

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.

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

Author Details

Daniel Schemmel
  • Imperial College London, UK
Julian Büning
  • RWTH Aachen University, Germany
Frank Busse
  • Imperial College London, UK
Martin Nowack
  • Imperial College London, UK
Cristian Cadar
  • Imperial College London, UK

Funding

This project has received funding from the European Research Council under the European Union`s Horizon 2020 research and innovation program (grant agreement no. 819141 and 966733).

Artifact

  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

Related Article

  • Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar, "A Deterministic Memory Allocator for Dynamic Symbolic Execution", in 36th European Conference on Object-Oriented Programming (ECOOP 2022), LIPIcs, Vol. 222, pp. 9:1-9:26, 2022. https://doi.org/10.4230/LIPIcs.ECOOP.2022.9
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact