Artifact for research regarding Ranged Program Analysis

This artifact is a summary of data regarding ranged program analysis.

It contains the most important results from the following three papers:

- Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, and Heike Wehrheim. “Parallel Program Analysis via Range Splitting”. In: Proc. FASE. Vol. 13991. 2023, pp. 195–219. doi: 10.1007/978-3-031-30826-0_11.

- Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, and Heike Wehrheim. “Ranged Program Analysis via Instrumentation”. In: Proc. SEFM. Vol. 14323. 2023, pp. 145–164. doi: 10.1007/978-3-031-47115-5_9.

- Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, and Heike Wehrheim. “Parallel program analysis on path ranges”. In: Sci. Comput. Program. 238 (2024). doi: 10.1016/j.scico.2024.103154.

More precisely, it contains all the results from the PhD-thesis of Jan Haltermann.

In more detail, it contains all experimental data collected during the experiments, the run-configs to re-run the experiments, the instructions on how to regenerate the BenchExec tables that are used for analysis of the data, and the scripts to reconstruct all the findings from the thesis.

It is structured as follows:

- `configs` contains all the BenchExec run configs needed to rerun the experiments.

- `data` contains the raw data collected during the experiments.

- `figures` contains the generated figures

- `macros` contains the macros for the Latex document with the evaluation results

- `overview-table.xml` is needed to generate the BenchExec result tables.

- `scripts` contains the scripts to analyze the results and generate the figures

- `tables` contains the tables generated using the raw data and are used for analyzing the results

- `used-tools` contains the executables of the tools used for the evaluation (in this case only CPAchecker)

- `validation_of_incorrect_results.zip` contains the results of the manual analysis of the incorrect alarms generated, as explained in the paper.

The version of CoVeriTeam used can be found [on GitLab](https://gitlab.com/sosy-lab/software/coveriteam/-/tree/rangedAnalysis?ref_type=heads)  

The latest source code of CPAchecker used can be found [on GitLab](https://gitlab.com/sosy-lab/software/cpachecker/-/tree/ranged_program_analysis)