Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs

This artifact aims to reproduce the results in Table 2~6, which experimentally show that call-site sensitivity is more precise than existing state-of-the-art object sensitivities. POPL_2022_paper586.ova is a bootable VirtualBox image with all of the necessary libraries installed. ArtifactManual.pdf provides instructions to check whether the artifact is installed correctly (Section 1). Section 2 presents how to reproduce the results in our paper. Section 3 illustrates how to analyze other programs with our artifact and how to analyze a program with a user-defined tunneling abstraction.