Information
The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.
We recommend using Visual Studio 2017

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

 

The new home for Visual Studio documentation is Visual Studio 2017 Documentation on docs.microsoft.com.

The latest version of this topic can be found at Using SAL Annotations to Reduce C/C++ Code Defects.

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

SAL 2.0 Annotations for Windows Drivers

Show: