--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on October 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C 16 (Sulfur) - beta



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>