---
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
- Subject: [Frama-c-discuss] Errors covered in Frama-C
- From: Julien.Signoles at cea.fr (Julien Signoles)
- Date: Mon, 01 Jun 2015 09:01:24 +0200
- In-reply-to: <CAKi1Euh1vjuanowSZ0=NxsbVuHGhY95EPx2m1Qi7EM4iqQJvnQ@mail.gmail.com>
- References: <CAKi1Eug73NgoxPuvu8KxrnrghzmM6wzAnQtwN1bg+G2zTQgKvw@mail.gmail.com> <5568075F.7050103@linux-france.org> <CAKi1Euj9NFR=Uas-SsxTgzJg9wynwgTYCjwa=STa+0kBMZo4nw@mail.gmail.com> <1432883848708.1754100400@boxbe> <CAKi1EuiMgyD8aSs6+E2nYUZmSc3RT=Mpm=9NLy2pag23Nbcawg@mail.gmail.com> <CAKi1Euh1vjuanowSZ0=NxsbVuHGhY95EPx2m1Qi7EM4iqQJvnQ@mail.gmail.com>
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