c# - .Net 4 Code Contracts 静态分析器的任何替代品？

Question

与 .NET 4.0 代码合同一起使用的静态分析器似乎仅适用于 Visual Studio 的团队套件版本 - 这远远超出了我团队的预算。

是否有任何替代方案（开源、免费或价格合理）为按合同样式代码（不一定使用 .net 代码合同）的设计提供类似的静态分析。我猜答案是否定的，因为只有当 BCL 本身有合同时才能获得全部价值——但有没有一部分可以参与其中？

Answer 1

我不确定这是否是您要查找的内容，但您可以查看Frama-C 及其用于 C 的ACSL注释语言。

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

Answer 2

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