Предупреждение C6517

  • Статья

Недопустимая заметка: свойство "SAL_readableTo" не может быть указано в буферах, которые недоступны для чтения: "Параметр".

Примечание.

Это предупреждение возникает только в коде, используюющем устаревшую версию языка заметок исходного кода (SAL). Рекомендуется перенести код для использования последней версии SAL. Дополнительные сведения см. в статье "Использование заметок SAL для уменьшения дефектов кода C/C++".

Замечания

Это предупреждение указывает, что SAL_readableTo свойство не имеет требуемого доступа на чтение. Это свойство нельзя использовать для анимации параметра без предоставления доступа на чтение.

Имя анализа кода: VALID_SIZE_ON_NON_READABLE_BUFFER

Пример

Следующий код создает это предупреждение, так как доступ на чтение не предоставляется в буфере:

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

Чтобы исправить это предупреждение, предоставьте доступ для чтения, как показано в следующем коде:

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

См. также

Использование заметок SAL для уменьшения дефектов кода