Code Contracts and ccrewrite

Question

Why should I allow ccrewrite to rewrite binaries if Code Contracts could make static check and be assure that all is correct?

Is it normal to completely turn off ccrewrite?

score 4 · Answer 1 · answered Jul 18 '13 at 11:52

if Code Contracts could make static check and be assure that all is correct?

Will only hold when it's about a complete application and you don't need to Assume() anything.

In all other cases (reusable library components etc) Code Contracts can obly verify the internal logic but nothing can replace the Requires() at the front door.

score 1 · Answer 2 · answered Jul 19 '13 at 07:10

1

An additional point that does get raised on the Code Contracts forum regularly is that the static verifier can and does have bugs.

answered Jul 19 '13 at 07:10

Stephen J. Anderson

436
3
6

score 0 · Answer 3 · answered Jul 25 '13 at 15:22

0

Yet another point, is that the static verifier can be VERY slow if you use it in every build.

You can compensate for this by using runtime checking in conjunction with unit tests to exercise your code and find problems.

answered Jul 25 '13 at 15:22

Panagiotis Kanavos

120,703
13
188
236

Code Contracts and ccrewrite

3 Answers3