--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on May 2015 ---
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>