Static analysis framework for C
CHANGES:
Functionally equivalent to Goblint in SV-COMP 2024.
termination
, valid-memsafety
and valid-memcleanup
properties support (#1220, #1228, #1201, #1199, #1259, #1262).Goblint version tags/svcomp24-0-gc2e9465a7
for SV-COMP 2024.
The verifier archive containing the Ubuntu 22.04 binary and auxiliary files is attached below.
CHANGES:
CHANGES:
setjmp
/longjmp
analysis (#887, #970, #1015, #1019).Version used for experiments for "When Long Jumps Fall Short - Control-Flow Tracking & Misuse Detection for Non-Local Jumps in C"
Version used for ESOP23 Artifact.
CHANGES:
Functionally equivalent to Goblint in 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.
CHANGES:
CHANGES:
Goblint "lean" release after a lot of cleanup.