--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on June 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Errors covered in Frama-C



Hello David,
Can you list out all plug-ins used under Frama-C.


On Fri, May 29, 2015 at 12:52 PM, Gaurav Tripathi <
tripathigaurav.gt at gmail.com> wrote:

> 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/20150601/cd85348d/attachment.html>