ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020

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.