Compartilhar via


Propriedades de anotação

Cada instância de um atributo Pre ou Post especifica um conjunto de propriedades para o parâmetro anotado ou valor de retorno em um nível específico de dereferência.

A tabela a seguir lista propriedades que podem ser expressas como um parâmetro para os atributos Pre e Post.

Nesta seção

Access

Tainted

Valor

Deref

Valid

WritableBytes

ElementSize

ValidBytes

WritableBytesConst

ElementSizeConst

ValidBytesConst

WritableBytesLength

MustCheck

ValidBytesLength

WritableElements

Null

ValidElements

WritableElementsConst

NullTerminated

ValidElementsConst

WritableElementsLength

Style

ValidElementsLength

Seções relacionadas

Diretrizes para escrever código seguro

Analisar a qualidade do código C/C++ usando a análise de código