Avertissement C6517
Annotation non valide : la propriété « SAL_readableTo » peut ne pas être spécifiée sur les mémoires tampons qui ne sont pas lisibles : « Paramètre ».
Remarque
Cet avertissement se produit uniquement dans le code qui utilise une version déconseillée du langage d’annotation de code source (SAL). Nous vous recommandons de porter votre code pour utiliser la dernière version de SAL. Pour plus d’informations, consultez Utilisation des annotations SAL pour réduire les défauts de code C/C++.
Notes
Cet avertissement indique que la SAL_readableTo
propriété n’a pas l’accès en lecture requis. Vous ne pouvez pas utiliser cette propriété pour annoter un paramètre sans fournir d’accès en lecture.
Nom de l’analyse du code : VALID_SIZE_ON_NON_READABLE_BUFFER
Exemple
Le code suivant génère cet avertissement, car l’accès en lecture n’est pas accordé sur la mémoire tampon :
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre( ValidBytesConst=10 )][Pre( Deref=1, Access=Write )] char* buffer );
Pour corriger cet avertissement, accordez l’accès en lecture, comme indiqué dans le code suivant :
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre( ValidBytesConst=10 )][Pre( Deref=1, Access=Read)] char* buffer );
Voir aussi
Utilisation des annotations SAL pour réduire les défauts de code
Commentaires
https://aka.ms/ContentUserFeedback.
Bientôt disponible : Tout au long de 2024, nous allons supprimer progressivement GitHub Issues comme mécanisme de commentaires pour le contenu et le remplacer par un nouveau système de commentaires. Pour plus d’informations, consultezEnvoyer et afficher des commentaires pour