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.<br>

本附属成果包聚焦于Philipp Dominik Schubert、Ben Hermann与Eric Bodden合著的论文《PhASAR：面向C/C++的过程间静态分析框架（Inter-Procedural Static Analysis Framework）》的第6节（可扩展性）。该成果包包含PhASAR框架的预编译二进制文件、用于TACAS附属材料评审的虚拟机镜像、预处理后的目标程序、PhASAR所需的全部依赖库、辅助脚本、作者生成的完整原始论文实验结果，以及一份详尽的操作指南，用于复现论文表1《程序特征与分析I/T性能数据》中的各类图表。