Source Package frama-c

Subpackages

• frama-c - Framework for source code analysis of C software
• frama-c-doc - Large documentation files for frama-c
• frama-c-emacs - Emacs support file for ACSL markup
• frama-c-xemacs - XEmacs support file for ACSL markup