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

SAL — это язык заметок исходного кода Майкрософт. С помощью заметок исходного кода можно сделать так, чтобы код был в явном виде. Эти аннотации также позволяют автоматически выполнять анализ кода с помощью автоматизированных средств статического анализа, при этом значительно меньше ложных срабатываний и ложных отрицательных результатов.

Статьи в этом разделе документации обсуждают аспекты SAL, предоставляют Справочник по синтаксису SAL и предоставляют примеры использования.

См. также

примечания SAL 2,0 для драйверов Windows