To get the most from using static analysis tool PREfast, you should add annotations to your source code. While this might sound like a difficult thing to do, it’s really not. The Visual Studio 2008 SAL documentation on MSDN has been rewritten to present the annotations as a series of choices or, in other words, a “cheat sheet.” This updated documentation doesn’t, however, give any significant examples; for that you have to look back a version to the Visual Studio 2005 SAL documentation. For more examples, you can also peruse through the header files provided with your compiler.

- Jim