Thread-Modular Abstract Interpretation: The Local Perspective

<div> <h1>Thread-Modular Abstract Interpretation: The Local Perspective</h1> <br> <div><strong>This artifact contains the software and data necessary to reproduce the results described in the chapter entitled&nbsp;</strong><strong><em>Experimental Evaluation</em> of the manuscript <em>Thread-Modular Abstract Interpretation: The Local Perspective</em> by </strong><strong>Michael Schwarz.</strong></div> <br> <div>It is structured as follows:</div> <br> <div>- The folder <em>analyzer</em> contains the Goblint analyzer in the version used for the experiments (Branch <em>michael-schwarz-dissertation</em>).</div> <div>- The folder <em>bench</em> contains the Goblint benchmark repository in the version used for the experiments which also contains scripts to run the experiments (Branch <em>michael-schwarz-dissertation</em>).</div> <div>- The archive <em>bench_raw.tar.xz</em> contains the raw benchmark results.</div> <div>- The folder <em>data</em> contains spreadsheets, CSV files, and scripts necessary to extract relevant information from the raw benchmark results.</div> <br> <div>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.</div> <br> <div>- ESOP '23: https://zenodo.org/records/7767778</div> <div>- SAS '21: https://zenodo.org/records/5148608</div> <br> <div>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`</div> <br> <div>The contents of `analyzer` and `bench` all are published under the respective licenses mentioned in folders or individual files.</div> </div>