An Intro to the Standard Annotation Language (SAL)

Earlier this month, security guru Michael Howard authored a brief introduction to the Standard Annotation Language, which is used by Team System’s C/C++ Code Analysis. Adding SAL annotations to your source code can greatly improve the usefulness of static code analysis. Read his post (A Brief Introduction to the Standard Annotation Language (SAL)) to learn more.

[The Standard Annotation Language, or] SAL is a meta-language that can help static analysis tools, such as the /analyze switch in Visual Studio 2005 Team System and Visual Studio 2005 Team Edition for Developers, find bugs—including security bugs—in your C or C++ code at compile time.

From: A Brief Introduction to the Standard Annotation Language (SAL)

904