Поделиться через

C6517

  • Статья

предупреждение C6517: Недопустимая аннотация: Свойство 'SAL_readableTo' не может быть определено в нечитаемых буферах: '_Param_(1)'.

ПримечаниеПримечание

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

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

Пример

В следующем коде создается данное предупреждение из-за отсутствия прав чтения буфера:

#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 );

См. также

Другие ресурсы

Свойства заметок