.Net 4 Code Contractsスタティックアナライザーの代替品はありますか？

.NET 4.0コード契約で使用するスタティックアナライザーは、Visual StudioのTeam Suiteエディションでのみ使用できるようになると思われます。これはチームの予算外にあると思われます。.Net 4 Code Contractsスタティックアナライザーの代替品はありますか？

契約スタイルコード（必ずしも.netコード契約を使用しているわけではありません）によって設計された同様の静的解析を提供する代替手段（オープンソース、無料または合理的な価格）がありますか？ BCL自体が契約を結んでいるときにのみ、完全な価値が出てくるので答えはノーとなるだろうと思っていますが、そこには何かがありますか？

出典

2009-10-31 FinnNk

私はそれはあなたが探しているものだかどうかわからないんだけど、あなたは.NETの契約に比べFrama-C を見てとC.

のためにそのACSL注釈言語を有していてもよく、ACSL契約は（実行可能ではありません

出典

2009-10-31 19:51:35

本当に印象的です。特にすべてのプラグインがすばらしく見えます。特に価値分析プラグインは、私が使いたいものの中にあります。私は間違いなくそれをチェックします！私はそれがCファミリーの何かの一般的なツールセットであることを知っています - それがC＃や共通の落とし穴を避けるためのどのような経験ですか？ – FinnNk

@FinnNk "Cファミリの何か"についてはわかりません...それはCのみです。初期の努力は重要な埋め込みCを扱うことになりました。そのため、C＃や他の言語と独自の構文構文をインターフェースする問題は完全に無視される。また、.NETの契約側でもまだ多くのことが起こっているので、興味深い話題のように聞こえるが、まだ少し早すぎるだろう。 –

@FinnNkバグについては、バリュー分析プラグインでは、ACSLのサポートが（自動、順方向伝播静的分析でサポートできるACSLのサブセットであっても）非常に分かりやすいことがすぐにわかります。典型的な限界として、価値分析は依然として事後条件の結果を理解していない。 Jessieのチュートリアルを見たことがありますか？契約として表現されるシンプルな機能のための完全な仕様がかなりあります。 http://frama-c.cea.fr/jessie_tutorial_index.html –

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

出典

2011-04-12 18:22:09 GregC

.Net 4 Code Contractsスタティックアナライザーの代替品はありますか？

答えて

関連する問題