24.0-Chromium release

_events/framac-24.0.md

+---
+layout: default
+date: "30-11-2021"
+short_title: Frama-C 24.0 (Chromium)
+title: Release of Frama-C 24.0 (Chromium)
+link: /fc-versions/chromium.html
+---
+
+Frama-C 24.0 (Chromium) is out. Download it [here](/fc-versions/chromium.html).
+
+Main changes with respect to Frama-C 23 (Vanadium) include:
+
+#### Kernel
+
+- support C11's `_Static_assert`
+- support for flexible array members in nested struct (gcc machdeps only)
+- fixes unsound reuse of recursive functions
+
+#### E-ACSL
+
+- new options for more precise reporting in case of failed assertion
+- support for `\sum`, `\prod` and `\numof`
+
+#### Eva
+
+- new experimental `taint` domain for taint analysis
+- new experimental `multidim` domain to improve analysis precision on arrays of structures and multidimensional arrays.
+- new options for interprocedural states partitioning
+- new `dynamic_split` annotation
+- fixes soundness bugs in `octagon` and `bitwise` domains
+- improve precision for `octagon` and `symbolic-locations` domains
+
+#### Variadic
+
+- translation of printf/scanf calls with non-constant formatting string
+  (assuming arguments match the format)
+- falls back to a generic translation if specialized one fails, to
+  guarantee the absence of variadic calls after the plugin has run
+
+#### WP
+
+- removed `-wp-overflows` option, which was unsound
+- experimental support for `terminates` clauses

_fc-versions/chromium.md

@@ -2,41 +2,41 @@
 layout: version
 number: 24
 name: Chromium
-beta: true
+acsl: 17
 releases:
   - number: 0
     categories:
-    - name: Frama-C v24.0-beta Chromium
+    - name: Frama-C v24.0 Chromium
       files:
       - name: Source distribution
-        link: /download/frama-c-24.0-beta-Chromium.tar.gz
+        link: /download/frama-c-24.0-Chromium.tar.gz
         help: Compilation instructions
         help_link: /html/installations/chromium.html
       - name: User manual
-        link: /download/user-manual-24.0-beta-Chromium.pdf
+        link: /download/user-manual-24.0-Chromium.pdf
       - name: Plug-in development guide
-        link: /download/plugin-development-guide-24.0-beta-Chromium.pdf
+        link: /download/plugin-development-guide-24.0-Chromium.pdf
         help: Hello plug-in tutorial archive
-        help_link: /download/hello-24.0-beta-Chromium.tar.gz
+        help_link: /download/hello-24.0-Chromium.tar.gz
       - name: API Documentation
-        link: /download/frama-c-24.0-beta-Chromium-api.tar.gz
+        link: /download/frama-c-24.0-Chromium-api.tar.gz
       - name: ACSL 1.17 (Chromium implementation)
-        link: /download/acsl-implementation-24.0-beta-Chromium.pdf
+        link: /download/acsl-implementation-24.0-Chromium.pdf
     - name: Plug-in Manuals
       sort: true
       files:
       - name: Aoraï manual
-        link: /download/aorai-manual-24.0-beta-Chromium.pdf
+        link: /download/aorai-manual-24.0-Chromium.pdf
         help: Aoraï example
-        help_link: /download/aorai-example-24.0-beta-Chromium.tgz
+        help_link: /download/aorai-example-24.0-Chromium.tgz
       - name: Metrics manual
-        link: /download/metrics-manual-24.0-beta-Chromium.pdf
+        link: /download/metrics-manual-24.0-Chromium.pdf
       - name: Rte manual
-        link: /download/rte-manual-24.0-beta-Chromium.pdf
+        link: /download/rte-manual-24.0-Chromium.pdf
       - name: Eva manual
-        link: /download/eva-manual-24.0-beta-Chromium.pdf
+        link: /download/eva-manual-24.0-Chromium.pdf
       - name: WP manual
-        link: /download/wp-manual-24.0-beta-Chromium.pdf
+        link: /download/wp-manual-24.0-Chromium.pdf
       - name: E-ACSL manual
-        link: /download/e-acsl/e-acsl-manual-24.0-beta-Chromium.pdf
+        link: /download/e-acsl/e-acsl-manual-24.0-Chromium.pdf
 ---