"Microsoft has tools that will be in Visual Studio 2005 to do static code analysis," he said. "It's a tremendous experience. The tools came from Microsoft Research and represent a great example of technology transfer."
http://www.eweek.com/article2/0%2C1895%2C1841441%2C00.asp