--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on November 2017 ---
Dear list, It is with utmost pleasure that we celebrate the 210th anniversary of the transfer of the Portuguese court to Brazil by announcing the release of Frama-C 16 - Sulfur. Main changes with respect to Frama-C 15 - Phosphorus include: ### Kernel - Extra type checking verifications (e.g. const on local variables, qualifiers in function calls) ### EVA - Precision and efficiency improvements - Better feedback for abstract domains - Scripts to help analyze large programs (in $FRAMAC_SHARE/analysis-scripts) ### WP - New tacticals for TIP (for dealing with modulus, bit operations, equality rewriting, etc) - Several new simplifications ### RTE - Emission of more alarms (\initialized) ### Studia - New plug-in for case studies with EVA, integrated in the GUI ### GUI - Display of local callgraphs (useful for large programs) ### OPAM - Unification of Frama-C packages ('frama-c' and 'frama-c-base' become 'frama-c') The Frama-C Github repository has been updated: https://github.com/Frama-C/Frama-C-snapshot The new opam package is already available. As usual, the complete Changelog can be found at: http://frama-c.com/changelog.html Sources and manuals are available at: http://frama-c.com/download.html Have fun with Frama-C! For the Frama-C team, -- André Maroneze Researcher/Engineer CEA/LIST Software Reliability and Security Laboratory -------------- 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/20171129/ef15a201/attachment.bin>