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
Comentarios
https://aka.ms/ContentUserFeedback.
Próximamente: a lo largo de 2024, eliminaremos gradualmente los problemas de GitHub como mecanismo de comentarios para el contenido y lo reemplazaremos por un nuevo sistema de comentarios. Para obtener más información, consulte:Enviar y ver comentarios de