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

Fin*_*nNk 9 .net c# static-analysis visual-studio-2010 code-contracts

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

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

Pas*_*uoq 2

我不确定这是否是您正在寻找的内容,但您可以查看Frama-C 及其C的ACSL注释语言。

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