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
http://geekswithblogs.net/terje/archive/2010/10/14/making-static-code-analysis-and-code-contracts-work-together-or.aspx
http://connect.microsoft.com/VisualStudio/feedback/details/488341/code-contracts-dont-affect-ca1062-validate-parameter-before-usage
