Advertencia C6517

Anotación no válida: es posible que no se especifique la propiedad "SAL_readableTo" en los búferes que no son legibles: "Parameter".

Nota:

Esta advertencia solo se produce en el código que usa una versión en desuso del lenguaje de anotación de código fuente (SAL). Se recomienda realizar la portabilidad del código para usar la versión más reciente de SAL. Para más información, consulte Uso de anotaciones SAL para reducir los defectos en el código de C/C++.

Comentarios

Esta advertencia indica que SAL_readableTo la propiedad no tiene el acceso de lectura necesario. Esta propiedad no se puede usar para anotar un parámetro sin proporcionar acceso de lectura.

Nombre del análisis de código: VALID_SIZE_ON_NON_READABLE_BUFFER

Ejemplo

El código siguiente genera esta advertencia porque no se concede acceso de lectura en el búfer:

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

Para corregir esta advertencia, conceda acceso de lectura como se muestra en el código siguiente:

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

Consulte también

Uso de anotaciones SAL para reducir los defectos en el código