Dear all,
<br>
<br>We are glad to announce a new major release of the static analysis tool Frama-C, namely 
Nitrogen-20111001.
Frama-C is fully written in OCaml. You can write your own plug-in in OCaml too.<br>
<br>========
<br>DOWNLOAD
<br>========
<br>
<br>You can download the release at <a class="moz-txt-link-freetext" href="http://frama-c.com/download.html">http://frama-c.com/download.html</a> .
<br>
<br>For now, there is a source tar-ball distribution without the Jessie
plug-in, but including the WP plug-in. Binary versions will be released 
as soon as possible. A new version of Why which includes the Jessie 
plug-in will shortly be released separately by Inria and will be 
compatible with Frama-C Nitrogen.
<br>
<br>============
<br>MAIN CHANGES
<br>============
<br>
<br>This new major version includes too many bug fixes and improvements to 
list here: the detailed list is available at 
<a class="moz-txt-link-freetext" href="http://frama-c.com/Changelog.html">http://frama-c.com/Changelog.html</a> .
<br>
<br>Major improvements benefit:
<br>- Value Analysis plug-in
<br>- PDG plug-in and its derivatives (Slicing, Impact, Scope, Sparecode)
<br>- Aoraï plug-in
<br>- the GUI
<br>- kernel property statuses
<br>
<br>For plug-in developers: this major release changes several Frama-C APIs 
in an incompatible way. A subset of the plug-in side changes can 
automatically be applied by using the script bin/carbon2nitrogen.sh of 
the source distribution. Complex plug-ins should be reviewed for 
compatibility.
<br>
<br>======
<br>ENJOY!
<br>======
<br>
<br>Enjoy this release and do not hesitate to report any issue and/or
successes with this version through the usual channels, listed at
<a class="moz-txt-link-freetext" href="http://frama-c.com/support.html">http://frama-c.com/support.html</a> .
<br>
<br>Have fun with Frama-C,
<br>Julien Signoles
<br>