Partager via


Propriétés d'annotation

Mise à jour : novembre 2007

Chaque instance d'un attribut Pre ou Post spécifie un jeu de propriétés pour le paramètre ou la valeur de retour annoté à un niveau particulier de déréférencement.

Le tableau suivant répertorie les propriétés qui peuvent être exprimées comme un paramètre des attributs Pre et Post.

Dans cette section

Access

Tainted

Value

Deref

Valide

WritableBytes

ElementSize

ValidBytes

WritableBytesConst

ElementSizeConst

ValidBytesConst

WritableBytesLength

MustCheck

ValidBytesLength

WritableElements

Null

ValidElements

WritableElementsConst

NullTerminated

ValidElementsConst

WritableElementsLength

Style

ValidElementsLength

Rubriques connexes

Indications pour l'écriture de code sécurisé

Détection et correction des erreurs de code C/C++