[new release] goblint (2.5.0)

[sim642]

Static analysis framework for C

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

CHANGES:

Functionally equivalent to Goblint in SV-COMP 2025.

• Add 32bit vs 64bit architecture support (make sizes of primitive types configurable with current machine as default goblint/analyzer#54, Change Machdep based on SV-COMP architecture goblint/analyzer#1574).
• Add per-function context gas analysis (Provide per-fundec context gas goblint/analyzer#1569, Context Gas per Function ⛽ goblint/analyzer#1570, ⛽: Use minimum to combine incoming gas values in per-context gas goblint/analyzer#1598).
• Adapt automatic static loop unrolling (Detect fixed loops with autotuner even if there is no assignment of const value to the loop variable before loop goblint/analyzer#1516, Refactor loopUnrolling autotuner goblint/analyzer#1582, Do not unroll loops in stub functions goblint/analyzer#1583, Adjust loop unrolling defaults goblint/analyzer#1584, Handle loop statement comparison between two variables in loop unrolling goblint/analyzer#1590, Restrict unrolling to loops that are nested within less than 4 loops goblint/analyzer#1595, Improve loop bound detection for loop unrolling by handling casts in loop statements goblint/analyzer#1599).
• Adapt automatic configuration tuning (Improve autotune for octagon goblint/analyzer#1450, Autotune for ana.malloc.unique_address_count for NoOverflows in SV-Comp goblint/analyzer#1612, Autotuner doesn't account for all spawning functions goblint/analyzer#1181, Consider all spawning functions in autotuner goblint/analyzer#1604).
• Simplify non-relational integer invariants in witnesses (Simplify IntDomTuple witness invariants goblint/analyzer#1517).
• Fix excessive hash collisions (Variable hashes have too many collisions goblint/analyzer#1594, Improve flat string domain hash goblint/analyzer#1602).
• Clean up various code (Add PPX derivers for lattices of tuple and record types goblint/analyzer#1095, Use String.starts_with and ends_with from Stdlib goblint/analyzer#1523, Unvendor ppx_blob goblint/analyzer#1554, Move Spec lifters out of Constraints goblint/analyzer#1575, Remove IntDomain.MakeBooleans goblint/analyzer#1588, Replace most physical equality on immutable types goblint/analyzer#1597, Replace some folds with exists or for_all goblint/analyzer#1614).

[mseri]

Thanks