批注属性

更新：2007 年 11 月

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

下表列出了可以表示为 Pre 和 Post 属性 (Attribute) 的参数的属性 (Property)。

本节内容

Access	Tainted	Value
Deref	有效	WritableBytes
ElementSize	ValidBytes	WritableBytesConst
ElementSizeConst	ValidBytesConst	WritableBytesLength
MustCheck	ValidBytesLength	WritableElements
空	ValidElements	WritableElementsConst
NullTerminated	ValidElementsConst	WritableElementsLength
Style	ValidElementsLength

相关章节

安全代码编写准则

检测和更正 C/C++ 代码缺陷