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



Ok. Thanx David.
If any query I will contact you.


Regards
Gaurav

On Fri, May 29, 2015 at 12:45 PM, David MENTRE <dmentre at linux-france.org>
wrote:

>  [image: Boxbe] <https://www.boxbe.com/overview> This message is eligible
> for Automatic Cleanup! (dmentre at linux-france.org) Add cleanup rule
> <https://www.boxbe.com/popup?url=https%3A%2F%2Fwww.boxbe.com%2Fcleanup%3Ftoken%3D4OJzrjah1mBaitwJA3Cs9VeGWpyw6nrAkomzPMlV8gsrDLwlRYwnD0t5zX9ro2iaLmFxFfxcevAeJNrpgJ8cr%252FXNqB7%252B0mbg83q6HCEFyhgrynA3KZOxHNu8m5fAR7zd7kO4eh2dI%252FVVsJSQCPnTbQ%253D%253D%26key%3DZ5EZAaNgqsV7DbTijv5waGB2YtwJ%252Fffpy4VOHcsEVc0%253D&tc_serial=21480822599&tc_rand=524139872&utm_source=stf&utm_medium=email&utm_campaign=ANNO_CLEANUP_ADD&utm_content=001>
> | More info
> <http://blog.boxbe.com/general/boxbe-automatic-cleanup?tc_serial=21480822599&tc_rand=524139872&utm_source=stf&utm_medium=email&utm_campaign=ANNO_CLEANUP_ADD&utm_content=001>
>
> 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
>
> _______________________________________________
> 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/8903530f/attachment.html>