批注属性

项目
08/12/2011

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

相关章节

安全代码编写准则

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