Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Frama-C 16 (Sulfur) - beta
  • From: Andre.OLIVEIRAMARONEZE at (Andre Maroneze)
  • Date: Tue, 31 Oct 2017 20:23:26 +0100

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:

And a link to a tar.gz archive and the manuals is available at:

You are encouraged to try it out and report any potential regression on 
this list or on 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
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: <>