批注属性

[本文档仅供预览,并可能在以后的版本中更改。 Blank topics are included as placeholders.]

Pre 或 Post 特性的每个实例在特定的取消引用级别为批注参数或返回值指定一组属性。

下表列出了可以表示为 Pre 和 Post 特性的参数的属性。

本节内容

Access

Tainted

Value

Deref

有效

WritableBytes

ElementSize

ValidBytes

WritableBytesConst

ElementSizeConst

ValidBytesConst

WritableBytesLength

MustCheck

ValidBytesLength

WritableElements

null

ValidElements

WritableElementsConst

NullTerminated

ValidElementsConst

WritableElementsLength

Style

ValidElementsLength

相关章节

Guidelines for Writing Secure Code

使用代码分析来分析 C/C++ 代码质量