Document Open Access Logo

Flow-Sensitive Type-Based Heap Cloning (Artifact)

Authors Mohamad Barbar, Yulei Sui, Shiping Chen

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.6.2.1.pdf
  • Filesize: 296 kB
  • 2 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Software and its engineering → Automated static analysis
Keywords
  • Heap cloning
  • type-based analysis
  • flow-sensitivity

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

This artifact contains our implementation of a new flow-sensitive type-based points-to analysis, described in "Flow-Sensitive Type-Based Heap Cloning" by Mohamad Barbar, Yulei Sui, and Shiping Chen (ECOOP 2020). This analysis performs heap cloning based on C and C++ types rather than calling contexts. Packaged as a Docker image, the artifact allows users to reproduce the claims made in the "Evaluation" section of the associated paper (Section 5.2) and to build and analyse arbitrary software.

Cite As Get BibTex

Mohamad Barbar, Yulei Sui, and Shiping Chen. Flow-Sensitive Type-Based Heap Cloning (Artifact). In Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020). Dagstuhl Artifacts Series (DARTS), Volume 6, Issue 2, pp. 1:1-1:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020) https://doi.org/10.4230/DARTS.6.2.1

Author Details

Mohamad Barbar
  • University of Technology Sydney, Australia
  • CSIRO’s Data61, Sydney, Australia
Yulei Sui
  • University of Technology Sydney, Australia
Shiping Chen
  • CSIRO’s Data61, Sydney, Australia

Funding

This research is supported by Australian Research Grant DP200101328.
  • Barbar, Mohamad: supported by a PhD scholarship funded by CSIRO’s Data61.

Artifact

  MD5 Sum: f7dddff83dbea3469c6da06dfbfb8269 (Get MD5 Sum)

Related Article

  • Mohamad Barbar, Yulei Sui, and Shiping Chen, "Flow-Sensitive Type-Based Heap Cloning", in 34th European Conference on Object-Oriented Programming (ECOOP 2020), LIPIcs, Vol. 166, pp. 24:1 - 24:26, 2020. https://doi.org/10.4230/LIPIcs.ECOOP.2020.24
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