实施frama-clang

Question

到目前为止，我发现STANCE项目（Stance project website）是一个读者（found on the website）和一个演示文稿（also found on the website）。此外，显然将在6月20日举行一场frama-c日，将会引入frama-clang。

但是，我想知道是否有一个实现可以解决frama-clang。

Answer 1

几分钟后，有：http://frama-c.com/frama-clang.html（不要忘记阅读警告部分）。它在LGPL2.1下作为新插件发布。 Frama-Clang与Frama-C铝（即迄今为止最新的Frama-C版本）和clang / llvm 3.8兼容（确保使用您的发行版的开发包或手动编译clang）。