Published May 6, 2022 | Version v1
Software Open

Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap

  • 1. Technische Universität München
  • 2. University of Tartu

Description

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.

Files

goblint-smtprc.zip

Files (88.8 MB)

Name Size Download all
md5:81bdd57dde3f68f9cf692facb29ccfc8
1.4 MB Preview Download
md5:0052b18933ccf8cb2c46342214c00675
1.4 MB Preview Download
md5:262a8ea627eebc9495402a845782449a
751.6 kB Preview Download
md5:279cbfb292589a1f19fea2ff7667dbae
24.1 kB Preview Download
md5:1555fdfc3fdaf938c5792fd4854ef68a
85.1 MB Download
md5:71d9e2b7459a5ee6c33f8ef4305c0801
21.7 kB Download