vs2010 静态代码检查 在vs2010, 微软增加了它主导的开源项目, Code Contracts, 是一个静态代码检查工具 下载地址 http://msdn.microsoft.com/en-us/devlabs/dd491992