These demos show the static analysis features in Visual Studio 2005 Team Developer Edition, located at http://www.microsoft.com/downloads/details.aspx?FamilyID=77c4e99a-b035-43ab-a0a4-b52e29e2a89c&DisplayLang=en
"The Visual Studio 2005 Team Developer Edition provides advanced development tools that enable teams to incorporate quality, early and often throughout the life cycle. The Static Code Analyzer helps developers detect coding and security related issues earlier in the development cycle thereby reducing the overall cost of fixing code defects. In addition, code analysis tools can be used as a part of the check-in policy for a nightly build process, enabling development teams to correct defects before code is checked into the source tree. Performance analysis tools in the Visual Studio Team Developer Edition enables developers to measure, evaluate, and target performance-related issues in their code, thereby identifying performance bottlenecks early on."