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


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

Обновлен: Ноябрь 2007

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

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

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

Access

Tainted

Value

Deref

Valid

WritableBytes

ElementSize

ValidBytes

WritableBytesConst

ElementSizeConst

ValidBytesConst

WritableBytesLength

MustCheck

ValidBytesLength

WritableElements

Null

ValidElements

WritableElementsConst

NullTerminated

ValidElementsConst

WritableElementsLength

Style

ValidElementsLength

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

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

Выявление и исправление дефектов кода C/C++