Artifact and instructions to generate experimental results for TACAS 2019 paper: PhASAR: An Inter-Procedural Static Analysis Framework for C/C++

This artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural Static Analysis Framework for C/C++" by Philipp Dominik Schubert, Ben Hermann and Eric Bodden. The artifact consists of a pre-compiled binary of the PhASAR framework, a image of the virtual machine as used for the TACAS artifact evaluation, the pre-processed target programs, all of PhASAR's required libraries, helper scripts, the complete original paper results (as produced by the authors), and an extensive description of how to reproduce the figures of Table 1 ("Program's characteristics and performance figures for analyses I/T") of the paper.