C6517
Warnung C6517: Ungültige Anmerkung: Eigenschaft "SAL_readableTo" wird nicht für Puffer angegeben werden, die nicht lesbar sind: "_Param_ (1)".
Hinweis |
---|
Diese Warnung tritt nur im Code, der eine veraltete Version der Quellcodeanmerkungssprache (SAL) verwendet.Es wird empfohlen, den Code portieren, um die neueste Version des SALZES zu verwenden.Weitere Informationen finden Sie unter Verwenden von SAL-Anmerkungen zum Reduzieren von C/C++-Codefehlern. |
Diese Warnung gibt an, dass SAL_readableTo-Eigenschaft nicht den erforderlichen Lesezugriff hat.Sie können diese Eigenschaft verwenden, um einen Parameter Anmerkungen hinzuzufügen, ohne Lesezugriff bereitzustellen.
Beispiel
Im folgenden Code wird diese Warnung generiert, da kein Lesezugriff auf den Puffer 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 dargestellt:
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre( ValidBytesConst=10 )][Pre( Deref=1, Access=Read)] char* buffer );