Condividi tramite


Proprietà di annotazione

Aggiornamento: novembre 2007

Ogni istanza di un attributo Pre o Post specifica un insieme di proprietà per il valore restituito o per il parametro annotato a un determinato livello di risoluzione dei riferimenti.

Nella tabella che segue sono riportate le proprietà che è possibile esprimere come parametro per gli attributi Pre e Post.

In questa sezione

Access

Tainted

Value

Deref

Valid

WritableBytes

ElementSize

ValidBytes

WritableBytesConst

ElementSizeConst

ValidBytesConst

WritableBytesLength

MustCheck

ValidBytesLength

WritableElements

Null

ValidElements

WritableElementsConst

NullTerminated

ValidElementsConst

WritableElementsLength

Style

ValidElementsLength

Sezioni correlate

Linee guida per la scrittura di codice protetto

Rilevamento e correzione di errori del codice C/C++