issue-link js-issue-link" data-error-text="Failed to load title" data-id="1770347412" data-permission-text="Title is private" data-url="https://github.com/goblint/analyzer/issues/1093" data-hovercard-type="pull_request" data-hovercard-url="/goblint/analyzer/pull/1093/hovercard" href="https://github.com/goblint/analyzer/pull/1093">goblint/analyzer#1093). * Add memory out-of-bounds analysis (goblint/analyzer#1094, goblint/analyzer#1197). * Add memory leak analysis (goblint/analyzer#1127, goblint/analyzer#1241, goblint/analyzer#1246). * Add SV-COMP `termination`, `valid-memsafety` and `valid-memcleanup` properties support (goblint/analyzer#1220, goblint/analyzer#1228, goblint/analyzer#1201, goblint/analyzer#1199, goblint/analyzer#1259, goblint/analyzer#1262). * Add YAML witness version 2.0 support (goblint/analyzer#1238, goblint/analyzer#1240, goblint/analyzer#1217, goblint/analyzer#1226, goblint/analyzer#1225, goblint/analyzer#1248). * Add final warnings about unsound results (goblint/analyzer#1190, goblint/analyzer#1191). * Add many library function specifications (goblint/analyzer#1167, goblint/analyzer#1174, goblint/analyzer#1203, goblint/analyzer#1205, goblint/analyzer#1212, goblint/analyzer#1220, goblint/analyzer#1239, goblint/analyzer#1242, goblint/analyzer#1244, goblint/analyzer#1254, goblint/analyzer#1269). * Adapt automatic configuration tuning (goblint/analyzer#912, goblint/analyzer#921, goblint/analyzer#987, goblint/analyzer#1168, goblint/analyzer#1214, goblint/analyzer#1234).

[new release] goblint (2.3.0)#24844mseri merged 1 commit intoocaml:masterocaml/opam-repository:masterfrom sim642:release-goblint-v2.3.0sim642/opam-repository:release-goblint-v2.3.0Copy head branch name to clipboard

Commits

Commits on Nov 24, 2023

[new release] goblint (2.3.0)

[new release] goblint (2.3.0)#24844
mseri merged 1 commit intoocaml:masterfrom
sim642:release-goblint-v2.3.0