Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap

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

Contents:

• goblint-zstd.zip contains the version of the interactive analyzer used for performance and consistency benchmarking zstd. Corresponding scripts are found inside at scripts/incremental/.
• zstd-benchmarks.tar.xz contains the raw zstd benchmarking results used for figures using above scripts.
• goblint-smtprc.zip contains the version of the interactive analyzer used for usability stories (chrony and smtprc). The interactive algorithm is the same, but includes last minute fixes specific two the two benchmarks.
• gobpie-demos.zip contains the sources, setups and patches for usability stories.
• GobPie.zip contains the Visual Studio Code integration using MagpieBridge.
• smtprc-addlocks.mov is a screen recording of the smtprc usability demo in action using the IDE integration.