Share via


Annotation Properties

Each instance of a Pre or Post attribute specifies a set of properties for the annotated parameter or return value at a particular level of dereference.

The following table list properties that can be expressed as a parameter to the Pre and Post attributes.

In This Section

Access

Tainted

Value

Deref

Valid

WritableBytes

ElementSize

ValidBytes

WritableBytesConst

ElementSizeConst

ValidBytesConst

WritableBytesLength

MustCheck

ValidBytesLength

WritableElements

Null

ValidElements

WritableElementsConst

NullTerminated

ValidElementsConst

WritableElementsLength

Style

ValidElementsLength

Guidelines for Writing Secure Code

Detecting and Correcting C/C++ Code Defects