Warnung C6517

Ungültige Anmerkung: Die Eigenschaft 'SAL_readableTo' kann für Puffer, die nicht lesbar sind, nicht angegeben werden: 'Parameter'.

Hinweis

Diese Warnung tritt nur in Code auf, der eine veraltete Version der Quellcodeanmerkungssprache (SOURCE-Code Annotation Language, SAL) verwendet. Es wird empfohlen, Ihren Code zu portieren, um die neueste Version von SAL zu verwenden. Weitere Informationen finden Sie unter Verwenden von SAL-Anmerkungen zum Reduzieren von C/C++-Codefehlern.

Hinweise

Diese Warnung gibt an, dass SAL_readableTo die Eigenschaft nicht über den erforderlichen Lesezugriff verfügt. Sie können diese Eigenschaft nicht verwenden, um einen Parameter zu kommentieren, ohne Lesezugriff bereitzustellen.

Codeanalysename: VALID_SIZE_ON_NON_READABLE_BUFFER

Beispiel

Der folgende Code generiert diese Warnung, da der Lesezugriff für den Puffer nicht gewährt wird:

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

Um diese Warnung zu korrigieren, gewähren Sie Lesezugriff, wie im folgenden Code gezeigt:

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

Siehe auch

Verwenden von SAL-Anmerkungen zur Reduzierung von Codefehlern