[new release] goblint (2.0.0)

[sim642]

Static analysis framework for C

• Project page: https://goblint.in.tum.de
• Documentation: https://goblint.readthedocs.io/en/latest/

CHANGES:

Goblint "lean" release after a lot of cleanup.

• Remove unmaintained analyses: OSEK, ARINC, shapes, containment, deadlocksByRaces (Remove unmaintained features goblint/analyzer#460, Drop OSEK support goblint/analyzer#736, Remove ARINC analyses goblint/analyzer#812, Remove containment, deadlocksByRaces and shapes analyses goblint/analyzer#474).
• Add interactive analysis (Interactive analysis goblint/analyzer#391).
• Add server mode (Server mode goblint/analyzer#522).
• Add Compilation Database support (Compilation Database support goblint/analyzer#406, Add Compilation Database support goblint/analyzer#448).
• Add floating point domain, unrolled array domain and improved struct domains (Interval Analysis for Floating-point values goblint/analyzer#734, Interval Analysis for Floating-point values goblint/analyzer#761, Array unrolling abstract domain goblint/analyzer#577, Add set struct domains goblint/analyzer#419).
• Add static loop unrolling and heap variable unrolling (Loop Unrolling for the first exp.unrolling-factor Iterations goblint/analyzer#563, Malloc uniqueness goblint/analyzer#722).
• Improve race detection with may-happen-in-parallel analysis (Generalize pairwise race detection goblint/analyzer#529, Use MHP to exclude races & Refactoring MHP goblint/analyzer#518, Extract MHP analysis, simplify printing in race output goblint/analyzer#595).
• Reimplement lockset and deadlock analyses (Refactor and fix different lockset analyses goblint/analyzer#659, Refactor mutex analyses goblint/analyzer#662, Revamp Deadlock-Detection to work incrementally and consider MHP information goblint/analyzer#650, Reimplement deadlock analysis and extend with MHP goblint/analyzer#655).
• Add pthread extraction to Promela (Liveness analysis of multi-threaded C with POSIX threads goblint/analyzer#220).
• Add location spans to output (Location ranges for output goblint/analyzer#428, Add location ranges to output goblint/analyzer#449).
• Improve race reporting (Filter non-racing accesses of racing variable goblint/analyzer#550, Group racing accesses into disjoint components goblint/analyzer#551).
• Improve dead code reporting (dbg.print_dead_code is not complete and reports statements inserted by CIL goblint/analyzer#94, Extract and fix dead branch detection goblint/analyzer#353, Cleanup reporting of dead code goblint/analyzer#785).
• Refactor warnings (Categorize Remaining Warnings goblint/analyzer#55, Categorize Remaining Warnings goblint/analyzer#783).
• Add JSON schema for configuration (Replace JSON schema validation and add full options schema goblint/analyzer#476, Replace Defaults module with JSON schema goblint/analyzer#499).
• Refactor option names (Cleanup options goblint/analyzer#28, Rename exp.precious_globs and clarify what it does goblint/analyzer#192, Categorize exp options goblint/analyzer#516, Rename and split exp.precious_globs to exp.exclude_from_earlyglobs and exp.exclude_from_invalidation goblint/analyzer#675).
• Add bash completion (Add command line argument completion goblint/analyzer#669).
• Add OCaml 4.13 and 4.14 support, remove OCaml 4.09 support (Bump OCaml version range to 4.10...4.13 goblint/analyzer#503, Add OCaml 4.14 support goblint/analyzer#672).

[sim642]

The oraclelinux-8 failure seems unrelated:

# <internal:gem_prelude>:2:in `require': cannot load such file -- rubygems.rb (LoadError)
# 	from <internal:gem_prelude>:2:in `<internal:gem_prelude>'

According to Google and StackOverflow, it has something to do with updating ruby gems or fixing some permissions.

[kit-ty-kate]

Thanks a lot!