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

On 06/01/2015 08:00 AM, Gaurav Tripathi wrote:
> Can you list out all plug-ins used under Frama-C.

Running "frama-c -help" does the job.
Hope this helps,
Julien
-- 
Researcher-engineer
CEA LIST, Software Security Labs
tel:(+33)1.69.08.00.18  fax:(+33)1.69.08.83.95  Julien.Signoles at cea.fr