--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on May 2015 ---
Hello, Le 29/05/2015 08:37, Gaurav Tripathi a ?crit : > Is there any document available which just show all plug-ins and > corresponding error/check covered of frama-c ? I don't think so. > If no then how should I proceed ? Read the documentation I pointed to you? Each one of them as a table of content that gives the relevant chapter to read. Best regards, david