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.