附註屬性

每個 Pre 或 Post 屬性 (Attribute) 的執行個體都會在特定的取值 (Dereference) 層級，為加註的參數和傳回值指定一組屬性 (Property)。

下表列出可以表示為 Pre 和 Post 屬性 (Attribute) 參數的屬性 (Property)。

在本節中

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

相關章節

撰寫安全程式碼的方針

使用程式碼分析進行 C/C++ 程式碼品質分析