Prefast is a static analysis tool that provides information to developers about possible defects in their C/C++ source code. Common coding errors reported by Prefast include buffer overrun, un-initialized memory, null pointer dereference, memory and resource leaks.

 

I was eager to try that so I installed the TechEd (May 2004) Community Technology Preview (CTP). Took a small sample and compiled it with PREfast enabled:

 

(I cannot insert the picture I wanted so check http://msdn.microsoft.com/library/en-us/dnvsent/html/vsts-dev-fig02big.gif, very close to what I did anyway) 

 

More information:

- Visual Studio 2005 Team System: Building Robust and Reliable Software

- Demo video: http://download.microsoft.com/download/1/1/d/11d5f95b-f75d-4921-8a32-46a14c4d1448/Static%20Analysis-PREfast.wmv