--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on January 2011 ---
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