--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on May 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Errors covered in Frama-C



Hello,

Le 29/05/2015 07:57, Gaurav Tripathi a ?crit :
> How can I find which are the checks/errors/warnings are covered by frama-c ?

By which plug-in? RTE? Value analysis? Another one?

Unlike other sound static analysers and bug finders, "Frama-C" is a 
framework with a set of plug-in which can be used for various uses, from 
code obfuscation to code proof.

> Is there any documentation available for it ?

Of course!

   http://frama-c.com/download.html

RTE: http://frama-c.com/download/rte-manual-Sodium-20150201.pdf

Value analysis: 
http://frama-c.com/download/value-analysis-Sodium-20150201.pdf

Best regards,
david