He wrote a really good article about using static code analysis with Visual Studio here: http://www.altdevblogaday.com/2011/12/24/static-code-analysi... I imagine this was on the same train of thought that led him to investigate statically typed languages.