Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity (Artifact)

This artifact is provided to reproduce the results of all four research questions (RQ1 -- RQ4) in our companion paper "Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity", i.e., the results in Table 1, Table 2, Figure 7 and Figure 8 of the paper. The artifact contains Scaler (implementation of our tool), Doop (a state-of-the-art whole-program pointer analysis framework for Java), and the Java programs and the library used in our evaluation. It also contains the comprehensive documentations which give step-by-step instructions for guiding the user to install and use this artifact.

To use this artifact, please start by reading README.pdf and INSTALL.pdf in the artifact package.