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