--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on January 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] List of external plugin?



Hello,

Le 14/01/2011 13:55, David MENTRE a ?crit :
> Through a recent post on Frama-C blog, I discovered the Celia plugin
> for Frama-C:
>    http://www.liafa.jussieu.fr/~sighirea/celia/index.html
>
> A local Free Software user also told me about the SIDAN plugin:
>    http://www.rennes.supelec.fr/ren/rd/ssir/outils/sidan/
>
> Does anybody know other external (i.e. not distributed with Frama-C)
> Frama-C plugins?

According to the section "External plug-ins" of the publication page of 
the Frama-C wiki 
(http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:publications#external_plug-ins), 
there are also Sante, STAC and Taster. At this day, only the 2d one is 
freely available (http://code.google.com/p/tanalysis).

Hope this helps,
Julien