.Net 4 Code Contracts静态分析仪的任何替代品？

Question

与.NET 4.0 Code Contracts一起使用的静态分析器似乎只适用于Visual Studio的Team Suite版本 - 这使得它远远超出了我的团队的预算。

是否有任何替代方案（开源，免费或价格合理），通过合同样式代码（不一定使用.net代码合同）为设计提供类似的静态分析。我猜这个答案是肯定的，因为只有当BCL本身有合同时才能获得全部价值 - 但是有没有哪个部分合作？

Answer 1

我不确定这是不是您要找的，但您可以查看Frama-C 和它的ACSL注释语言。

与.NET契约相比，ACSL契约不可执行（无法使用运行时断言检查它们），但更适合静态分析（它们更具表现力，允许编写完整的规范并进行静态检查。至少在理论上）

Answer 2

我在VS2010 Premium中使用静态分析。