使用 SAL 注释减少 C/C++ 代码缺陷

SAL 是 Microsoft 源代码注释语言。 通过使用源代码注释，可以在代码中明确表明你的意图。 这些注释还能使自动化静态分析工具更准确地分析代码，明显减少假正和假负情况。

本文档的本节文章讨论了 SAL 的各个方面，提供了 SAL 语法参考，并提供了其用法示例。

• 了解 SAL

  提供有关核心 SAL 注释的信息和示例。

• 对函数参数和返回值进行批注

  列出函数和函数参数的 SAL 注释。

• 对函数行为进行批注

  列出函数和函数行为的 SAL 注释。

• 批注结构和类

  列出结构和类的 SAL 注释。

• 对锁定行为进行批注

  介绍如何将 SAL 注释与锁定机制配合使用。

• 指定何时以及在何处应用批注

  列出用于指定其他 SAL 注释的条件或范围（放置）的 SAL 注释。

• 内部函数

  列出内部 SAL 注释。

• 最佳做法和示例

  提供演示如何使用 SAL 注释的示例。 还介绍了常见缺陷。

另请参阅

Windows 驱动程序的 SAL 2.0 注释