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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  Перечисляет встроенные заметки SAL.

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

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

См. также:

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