Flow-Sensitive Type-Based Heap Cloning (Artifact)
- Barbar, Mohamad
- Sui, Yulei
- Chen, Shiping
Publication date
January 2020
DOI Publisher
DARTS - Dagstuhl Artifacts Series. DARTS, Volume 6, Issue 2, Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020) Language
EnglishAbstract
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
Add to ORKG