Using SAL Annotations to Reduce C/C++ Code Defects


This article applies to Visual Studio 2015. If you're looking for the latest Visual Studio documentation, use the version selector at the top left. We recommend upgrading to Visual Studio 2019. Download it here

SAL is the Microsoft source code annotation language. By using source code annotations, you can make the intent behind your code explicit. These annotations also enable automated static analysis tools to analyze your code more accurately, with significantly fewer false positives and false negatives.

The articles in this section of the documentation discuss aspects of SAL, provide reference for SAL syntax, and give examples of its use.

Code Analysis Team Blog

See Also

SAL 2.0 Annotations for Windows Drivers