Frama-C: new release (32.0~beta-Germanium)

[zilbuz]

Frama-C 32.0~beta Germanium

Release page

Kernel

• Color and style for terminals supporting ANSI escape code.
• Improved support for C (including C23) alignment directives.
• Support newly introduced \aligned predicate in ACSL.
• String literals are now global arrays (as specified in the standard), not pointers.
• Support for using information from mopsa-db compilation databases.
• Experimental sandbox mode for deploying Frama-C-as-a-Service.

E-ACSL

• Support of nested inductive definitions.
• Support \aligned built-in predicate.

Eva

• Check pointer alignment in analyzed programs.
• The taint domain can propagate several distinct taints, each identified by a unique name.
• Simplify running Mthread analyses.

Ivette

• New sidebar and menu to manage Frama-C projects.
• New panel to view and modify Frama-C parameters.
• Redesign and multiple improvements of the 'Files' sidebar.
• Select WP goals according to selected annotation and show related statements.
• Minimal support of the Slicing plug-in.

[zilbuz]

Excluding dependencies issues, the test failures are due to differences in the environment (glibc vs musl or different versions of GCC for instance) that change the way C files are preprocessed.

Since this is a beta package, if possible we would prefer to merge the package as-is while we fix those tests for the final release (most likely by deactivating them in those cases where the environment is not as expected).

[jmid]

OK, thanks - LGTM!
CI errors are now down to the Failed to get sources of alt-ergo.1.01: curl failed ones.

Would you consider adding an x-maintenance-intent entry?
https://github.com/ocaml/opam-repository/blob/master/governance/policies/archiving.md

[zilbuz]

Would you consider adding an x-maintenance-intent entry? https://github.com/ocaml/opam-repository/blob/master/governance/policies/archiving.md

Done. Sorry it seems we added it for version 30.0 directly in opam-repository but forgot to propagate the change in our own repository... I'm adding it right now so we do not forget again :)