DARTS.6.2.1.pdf
- Filesize: 296 kB
- 2 pages
Document
Flow-Sensitive Type-Based Heap Cloning (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Volume: DARTS, Volume 6 (ECOOP 2020)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2020-11-06
Artifact Description
Document Identifiers
Cite AsGet 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
https://doi.org/10.4230/DARTS.6.2.1
Artifact
DARTS-6-2-1-artifact-f7dddff83dbea3469c6da06dfbfb8269.zip
(Filesize: 1.22 GB)
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.
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)
0PDF Downloads