--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on October 2017 ---
Dear list, I have the pleasure to announce the beta release of the next version of Frama-C, 16 (Sulfur). It is available in the release-candidates branch of Frama-C-snapshot's repository on github: https://github.com/Frama-C/Frama-C-snapshot/tree/release-candidates And a link to a tar.gz archive and the manuals is available at: https://github.com/Frama-C/Frama-C-snapshot/wiki/Frama-C-Sulfur-20171101-beta You are encouraged to try it out and report any potential regression on this list or on https://bts.frama-c.com as usual. Barring any critical issue, final Frama-C 16 release is scheduled for early December. Main changes include: ### Kernel - extra type checking verifications (e.g. const on local variables) ### EVA - many improvements, more precise behaviors, bug fixes ### RTE - emission of more alarms (\initialized) ### GUI - extra columns when metrics is run (dead code %) - allow displaying local callgraphs For the Frama-C team, -- André Maroneze CEA/LIST Laboratoire Sûreté et Sécurité des Logiciels -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 3797 bytes Desc: S/MIME Cryptographic Signature URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20171031/5466eb83/attachment.bin>