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


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

Каждый экземпляр пред- и постатрибута задает набор свойств для параметра или возвращаемого значения, к которому создается заметка, на определенном уровне разыменования.

В следующей таблице перечислены свойства, которые могут быть выражены как параметры для пред- и постатрибутов.

В этом подразделе

Access

Tainted

Значение

Deref

Valid

WritableBytes

ElementSize

ValidBytes

WritableBytesConst

ElementSizeConst

ValidBytesConst

WritableBytesLength

MustCheck

ValidBytesLength

WritableElements

Null

ValidElements

WritableElementsConst

NullTerminated

ValidElementsConst

WritableElementsLength

Style

ValidElementsLength

Связанные подразделы

Рекомендации по написанию безопасного кода

Анализ качества кода C/C++ с помощью метода анализа кода