任何替代到.NET 4代码契约静态分析？

Question

看来，静态分析仪使用.NET 4.0代码契约使用，只是要提供的Visual Studio Team Suite的版本 - 这说得好的预算之外我的团队

是否有其提供合同的代码风格设计类似静态分析（不一定是使用.NET代码契约）任何替代品（开源，免费或价格合理）。我猜答案是当BCL本身没有合同作为充满价值只来 - 但有没有哪去了一部分的方式

Answer 1

我不知道如果这是你在找什么，但你可以看看 Frama- ç 及其 ACSL 注解语言对C

相比于.NET合约

，ACSL合同不能执行（这是不可能与运行时断言检查它们），但更适合于静态分析（他们是更富有表现力，让一个完整的规范写入和静态检查。至少在理论上）

Answer 2

我正在使用VS2010高级静态分析。