CHANGES:
Functionally equivalent to Goblint in SV-COMP 2024.
- Add termination analysis for loops (#1093).
- Add memory out-of-bounds analysis (#1094, #1197).
- Add memory leak analysis (#1127, #1241, #1246).
- Add SV-COMP
termination,valid-memsafetyandvalid-memcleanupproperties support (#1220, #1228, #1201, #1199, #1259, #1262). - Add YAML witness version 2.0 support (#1238, #1240, #1217, #1226, #1225, #1248).
- Add final warnings about unsound results (#1190, #1191).
- Add many library function specifications (#1167, #1174, #1203, #1205, #1212, #1220, #1239, #1242, #1244, #1254, #1269).
- Adapt automatic configuration tuning (#912, #921, #987, #1168, #1214, #1234).