Thread-Modular Abstract Interpretation: The Local Perspective

Thread-Modular Abstract Interpretation: The Local Perspective

This artifact contains the software and data necessary to reproduce the results described in the chapter entitled Experimental Evaluation of the manuscript Thread-Modular Abstract Interpretation: The Local Perspective by Michael Schwarz.

It is structured as follows:

- The folder analyzer contains the Goblint analyzer in the version used for the experiments (Branch michael-schwarz-dissertation).

- The folder bench contains the Goblint benchmark repository in the version used for the experiments which also contains scripts to run the experiments (Branch michael-schwarz-dissertation).

- The archive bench_raw.tar.xz contains the raw benchmark results.

- The folder data contains spreadsheets, CSV files, and scripts necessary to extract relevant information from the raw benchmark results.

This artifact is unfortunately documented relatively poorly at the moment. A good starting point for understanding the various scripts etc. are our previous artifacts on which this evaluation builds and their rather comprehensive READMEs.

- ESOP '23: https://zenodo.org/records/7767778

- SAS '21: https://zenodo.org/records/5148608

If you want to reproduce these results but have trouble getting started, you are very much encouraged to bother me, e.g., by emailing me at `m DOT schwarz AT tum DOT de`

The contents of `analyzer` and `bench` all are published under the respective licenses mentioned in folders or individual files.