Frama-CはCで書かれたソフトウェアのソースコードの解析するためのツールのスイートです。Frama-Cは単体の協調的なフレームワークとしていくつかの静的解析技術を寄せ集めています。協調的なアプローチはフレームワーク内の他のアナライザで既に計算された結果の上に静的解析器を構築することを可能にします。これは、スライサーと依存関係の分析などの高度なツールを提供します。