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