PREfast: Less Bugs, More Reliability

In an earlier post, I pointed to an article on Righting Software that I found on the Microsoft Research Publications feed. Over on the Microsoft Research News and Headlines feed I found this item on PREfast, which is one of the static code analysis tools in Visual Studio Team System -

PREfast: Less Bugs, More Reliability

Pop Quiz. What are the three things a Microsoft developer can't live without? If you guessed: 1) Pizza, 2) Late-night Xbox play-offs, and 3) PREfast, you'd be pretty darn close. Okay, you're saying. I got the first two, obvious. But PREfast?