Frama-C: new release (32.0-Germanium)

[zilbuz]

Release page

Main changes:

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.

[jmid]

Thanks, LGTM!

CI is failing repeatedly to download alt-ergo and cmdliner #28966 but is passing the rest (modulo a single opam-2.0 workflow and Windows)