ESOP23 Artifact

Version used for ESOP23 Artifact.

2.1.0

CHANGES:

Functionally equivalent to Goblint in SV-COMP 2023.

• Add automatic configuration tuning (#772).
• Add many library function specifications (#865, #868, #878, #884, #886).
• Reorganize library stubs (#814, #845).
• Add Trace Event Format output to timing (#844).
• Optimize domains for address and path sets (#803, #809).

SV-COMP 2023

Goblint version tags/svcomp23-0-g4f5dcf38f for SV-COMP 2023.

The verifier archive containing the Ubuntu 22.04 binary and auxiliary files is attached below.

2.0.1

CHANGES:

• Fix compilation with z3.

2.0.0

CHANGES:

Goblint "lean" release after a lot of cleanup.

• Remove unmaintained analyses: OSEK, ARINC, shapes, containment, deadlocksByRaces (#460, #736, #812, #474).
• Add interactive analysis (#391).
• Add server mode (#522).
• Add Compilation Database support (#406, #448).
• Add floating point domain, unrolled array domain and improved struct domains (#734, #761, #577, #419).
• Add static loop unrolling and heap variable unrolling (#563, #722).
• Improve race detection with may-happen-in-parallel analysis (#529, #518, #595).
• Reimplement lockset and deadlock analyses (#659, #662, #650, #655).
• Add pthread extraction to Promela (#220).
• Add location spans to output (#428, #449).
• Improve race reporting (#550, #551).
• Improve dead code reporting (#94, #353, #785).
• Refactor warnings (#55, #783).
• Add JSON schema for configuration (#476, #499).
• Refactor option names (#28, #192, #516, #675).
• Add bash completion (#669).
• Add OCaml 4.13 and 4.14 support, remove OCaml 4.09 support (#503, #672).

1.1.1

CHANGES:

• Added lower bounds to dependencies (zarith, ocaml-monadic, sha, conf-gmp).
• Fixed ounit2 library for unit tests.
• Disabled kernel regression tests when linux-headers couldn't be downloaded (e.g. in opam-repository opam-ci).
• Fixed dune-site in opam install by requiring dune 2.9.1.

1.1.0

CHANGES:

Goblint "fat" release containing 4 years of development.
This version is functionally equivalent to Goblint in SV-COMP 2022.

SV-COMP 2022

Goblint version tags/svcomp22-0-ge852ac510 for SV-COMP 2022.

The verifier archive containing the Ubuntu 20.04 binary and auxiliary files is attached below.

Artifact for SAS '21

Artifact for the paper "Improving Thread-Modular Abstract Interpretation" at the 28th Static Analysis Symposium 2021

SV-COMP 2021

Goblint version svcomp21-0-g82e03b87 for SV-COMP 2021.

The verifier archive containing the Ubuntu 20.04 binary and auxiliary files is attached below.