Использование аннотаций SAL для сокращения количества дефектов в коде C/C++Using SAL Annotations to Reduce C/C++ Code Defects

SAL — это язык заметок исходного кода Майкрософт.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.

Статьи в этом разделе документации обсуждают аспекты SAL, предоставляют Справочник по синтаксису SAL и предоставляют примеры использования.The articles in this section of the documentation discuss aspects of SAL, provide reference for SAL syntax, and give examples of its use.

См. также:See Also

Примечания SAL 2,0 для драйверов WindowsSAL 2.0 Annotations for Windows Drivers