frama-clangの実装

Question

これまでのところ、STANCEプロジェクト（Stance project website）の読者（found on the website）とプレゼンテーション（also found on the website）が見つかりました。また、6月20日にframa-cangが開催され、frama-clangが導入される予定です。

しかし、私はframa-clangで遊ぶ実装があるかどうか疑問に思っています。

Answer 1

数分から、http://frama-c.com/frama-clang.html（Caveatの部分を読むことを忘れないでください）。 LGPL2.1の下で新しいプラグインとしてリリースされています。 Frama-ClangはFrama-C Aluminum（これまでのFrama-Cの最新バージョン）とclang/llvm 3.8（あなたのディストリビューションの開発パッケージを使用するか、clangを手作業でコンパイルしてください）と互換性があります。