Compartir a través de


Propiedades de anotación

Actualización: noviembre 2007

Cada instancia de un atributo Pre o Post especifica un conjunto de propiedades para el parámetro anotado o valor devuelto en un nivel concreto de eliminación de referencias.

En la siguiente tabla se muestran las propiedades que se pueden expresar como un parámetro de los atributos Pre y Post.

En esta sección

Access

Tainted

Value

Deref

Valid

WritableBytes

ElementSize

ValidBytes

WritableBytesConst

ElementSizeConst

ValidBytesConst

WritableBytesLength

MustCheck

ValidBytesLength

WritableElements

Null

ValidElements

WritableElementsConst

NullTerminated

ValidElementsConst

WritableElementsLength

Style

ValidElementsLength

Secciones relacionadas

Instrucciones para escribir código seguro

Detectar y corregir defectos de código de C/C++