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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  Перечислены встроенные аннотаций SAL.

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

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

Связанные ресурсы

Блог команды анализа кода

См. также

Другие ресурсы

SAL Services для Windows Server 2.0