Code Contracts + Code Analysis

Question

I think about starting to use Code Contracts in my code base.

I already use Code Analysis with all rules enabled and a goal of zero warnings.

However, when using

Answer 1

To solve this problem, the following steps need to be performed:

1. Disable CA1062 in Code Analysis to get rid of the warning from Code Analysis. There is currently no way to make Code Analysis understand Contract.Requires.
2. Enable "Perform Static Contract Checking" in the Code Contracts pane of the project.
3. Enable "Implicit Non-Null Obligations"
4. Set Warning Level to "hi" (important, that was what I was missing!)

Step 1 gets rid of the CA warning, steps 2 to 4 enable a warning from Code Contracts that's at least equivalent.