SPLASH 2020 (series) / ECOOP 2020 (series) / Artifacts /
Flow-Sensitive Type Based Heap Cloning (Artifact)
This artifact contains our implementation of TypeClone, a 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). TypeClone performs heap cloning based on types rather than contexts. Packaged as a Docker image, the artifact allows the user to reproduce the evaluation and run TypeClone to analyse arbitrary software. The artifact is designed such that claims made in the
Evaluation'' section (Section 5) of the associated paper can be reproduced.