I can’t believe that Microsoft’s static code analysis throws error or warning to “CA1062: Validate arguments of public methods” when using code contracts which is nicely described @ http://msdn.microsoft.com/en-us/magazine/ee236408.aspx and http://msdn.microsoft.com/en-us/devlabs/dd491992 or even better described here
They presented this MSDN magazine and haven’t they tested this before making it that public.
I don’t want to give up my rule but what is my choice? Supress
Here are the links to this issue in the community