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

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

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

相关资源

代码分析团队博客

请参见

其他资源

SAL windows 驱动程序的 2.0 批注