Interactive Abstract Interpretation: Reanalyzing Multithreaded C Programs for Cheap

Artifact for "Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap".

Contents:

• analyzer.zip contains the version of Goblint used for performance and consistency benchmarking.
  Follow the steps in the README.md to build the executable.
• cil.zip contains goblint-cil. The cilly binary needs to be in the current PATH for analyzing figlet when running the scripts listed below. The cilly binary can be built following the steps in README.md. (cilly is required for the figlet repository only.)
• bench.zip contains scripts for efficiency and precision benchmarking.
  The scripts can be found in bench/scripts/incremental/benchmarking:
  • run_efficiency.sh for running the efficiency benchmarks.
  • run_precision.sh for running the precision benchmarks.
  • Both scripts expect the analyzer directory and the number of cores that the script should be executed on as command line arguments.
• results.zip contains the raw benchmarking results created using above scripts.
• gobpie-demos.zip contains the sources, setups and patches for usability stories.
• GobPie.zip contains the Visual Studio Code integration using MagpieBridge.