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

SAL 是 Microsoft 源代码注释语言。 通过使用源代码批注，您可以将代码进行显式目的。 这些批注还允许自动化的静态分析工具更准确地分析代码，与显着的伪阳性和错误地求反。

在文档的本节中的文章讨论 SAL 的方面，提供对 SAL 语法引用，并给出了其用法示例。

• 了解 SAL

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

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

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

• 对函数行为进行批注

  列出了功能和功能的行为的 SAL 注释。

• 批注结构和类

  列表结构和选件类的 SAL 注释。

• 对锁定行为进行批注

  解释如何使用锁结构的 SAL 注释。

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

  列表指定条件或范围的 SAL 注释 (位置) 其他 SAL 注释。

• 内部函数

  列表内部 SAL 注释。

• 最佳做法和示例 (SAL)

  提供演示如何使用 SAL 注释的示例。 并解释常见缺陷。

相关资源

代码分析团队博客

请参见

其他资源

SAL windows 驱动程序的 2.0 批注