C6517
C6517 de advertencia: Anotación no válida: La propiedad “SAL_readableTo” no se puede especificar en búferes que no son legibles: “_Param_ (1)”.
[!NOTA]
La advertencia sólo aparece en el código que está utilizando una versión desusada del lenguaje de anotación de código fuente (SAL).Se recomienda migrar el código para usar la última versión de SAL.Para obtener más información, vea Utilizar anotaciones SAL para reducir defectos de código de C/C++.
Esta advertencia indica que la propiedad de SAL_readableTo no tiene acceso de lectura necesario.No puede utilizar esta propiedad para anotar un parámetro sin proporcionar acceso de lectura.
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 );