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

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

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

• Основные сведения о языке SAL

  Содержит сведения и примеры, показывающие основные заметки SAL.

• Создание примечаний к параметрам и возвращаемым значениям функций

  Выводит заметки SAL для параметров функций и функций.

• Аннотация поведения функций

  Выводит заметки SAL для функций и поведения функций.

• Аннотация структур и классов

  Выводит заметки SAL для структур и классов.

• Аннотация поведения блокировки

  Описывает использование заметок SAL с механизмами блокировки.

• Указание времени и места применения примечания

  Выводит заметки SAL, которые указывают условие или область (размещение) других заметок SAL.

• Встроенные функции

  Выводит встроенные заметки SAL.

• Рекомендации и примеры

  Содержит примеры, демонстрирующие использование заметок SAL. Также объясняется распространенные ловушки.

См. также

Заметки SAL 2.0 для драйверов Windows