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

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?

Best regards,
david