ネット4コードコントラクト静的アナライザへの任意の代替？

Question

これは、.NET 4.0のコード契約で使用するために静的アナライザは、Visual Studioだけのチームスイート版のために利用可能であることを行っているようだ - 。これは私のチームのために予算外だけでなく、それを置く。

（必ずしも.NETコードの契約を使用していない）契約スタイルのコードによって設計に類似した静的解析を提供する任意の選択肢（オープンソース、無料または手頃な価格）があります。私は完全な価値として何が唯一のBCL自身が契約を結んでいる時に来ることはないだろう答えを推測している - ？しかし、あるそこに道の一部を行くものであれ

Answer 1

それはあなたが探しているものだが、あなたは Frama-を見ている可能性がある場合、

私はわかりませんC の そしてその ACSL のCのための注釈言語ます。

.NET契約と比較すると、ACSL契約は、彼らがより表現され、完全な仕様が書かれており、静的にチェックすることを可能にする（実行可能ではありません（それは実行時のアサーションでそれらをチェックすることは不可能です）が、静的解析に適しています。少なくとも理論的に）

Answer 2

私はVS2010プレミアムで静的解析を使用しています。