Introduction to the Standard Annotation Language (SAL) for VC++

SAL is a powerful mechanism to help find real bugs in your code. MSDN Reference http://msdn2.microsoft.com/en-us/library/ms235402(VS.80).aspx