c# - コード コントラクトと ccrewrite

Question

Code Contracts が静的チェックを行い、すべてが正しいことを確認できるのに、ccrewrite がバイナリを書き換えることを許可する必要があるのはなぜですか?

ccrewrite を完全にオフにするのは正常ですか?

Answer 1

Code Contracts フォーラムで定期的に取り上げられる追加のポイントは、静的検証ツールにはバグがある可能性があり、実際にバグがあるということです。

Answer 2

さらに別のポイントは、すべてのビルドで静的ベリファイアを使用すると非常に遅くなる可能性があることです。

これを補うには、実行時チェックを単体テストと組み合わせて使用​​し、コードを実行して問題を見つけます。