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 theEvaluation'' section (Section 5) of the associated paper can be reproduced.