Condividi tramite

Avviso C6517

  • Articolo

Annotazione non valida: la proprietà 'SAL_readableTo' potrebbe non essere specificata nei buffer che non sono leggibili: 'Parameter'.

Nota

Questo avviso si verifica solo nel codice che usa una versione deprecata del linguaggio di annotazione del codice sorgente (SAL). È consigliabile convertire il codice per usare la versione più recente di SAL. Per altre informazioni, vedere Uso delle annotazioni SAL per ridurre i difetti del codice C/C++.

Osservazioni:

Questo avviso indica che SAL_readableTo la proprietà non ha l'accesso in lettura richiesto. Non è possibile usare questa proprietà per annotare un parametro senza fornire l'accesso in lettura.

Nome dell'analisi del codice: VALID_SIZE_ON_NON_READABLE_BUFFER

Esempio

Il codice seguente genera questo avviso perché l'accesso in lettura non viene concesso nel buffer:

#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre( ValidBytesConst=10 )][Pre( Deref=1, Access=Write )] char* buffer );

Per correggere questo avviso, concedere l'accesso in lettura come illustrato nel codice seguente:

#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre( ValidBytesConst=10 )][Pre( Deref=1, Access=Read)] char* buffer );

Vedi anche

Uso delle annotazioni SAL per ridurre i difetti del codice