使用 SAL 批注以减少 C/C++ 代码缺陷
SAL 是 Microsoft 源代码注释语言。使用源代码批注,可以使代码背后的意图更加清晰。这些注释还可以使用自动化的静态分析工具更准确地分析代码,显著减少误判。
在文档的本节中讨论文章 SAL 特性,为 SAL 语法参考,并给出其使用的示例。
-
提供演示核心 SAL 注释的信息和示例。
-
列出和函数参数的 SAL 注释。
-
列出函数和函数操作的 SAL 注释。
-
列出结构和类的 SAL 注释。
-
介绍如何使用锁机制的 SAL 注释。
-
列出指定条件或其他 SAL 注释范围(放置)的 SAL 注释。
-
列出内部 SAL 注释。
-
提供演示如何使用 SAL 注释的示例。同时解释常见缺陷。