--- layout: fc_discuss_archives title: Message 34 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



Is there any document available which just show all plug-ins and
corresponding error/check covered of frama-c ?
If no then how should I proceed ?

Regards
Gaurav

On Fri, May 29, 2015 at 11:59 AM, David MENTRE <dmentre at linux-france.org>
wrote:

> 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
>
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150529/144f5f99/attachment-0001.html>