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


ZwRegistryСоздать правило (storport)

Это правило проверяет, правильно ли будет использоваться дескриптор раздела реестра, созданного с помощью ZwCreateKey , другими подпрограммами ZwXxx . Подпрограмма ZwOpenKey не должна вызываться для уже открытого дескриптора. Подпрограммы ZwEnumerateKey, ZwEnumerateValueKey, ZwFlushKey, ZwQueryKey, ZwQueryValueKey, ZwSetValueKey, ZwClose и ZwDeleteKey не должны вызываться для неоткрытого дескриптора. Перед возвратом дескриптор также должен быть закрыт.

Модель драйвера: Storport

Как тестировать

Во время компиляции

Запустите Static Driver Verifier и укажите правило ZwRegistryCreate .

Выполните следующие действия, чтобы выполнить анализ кода.
  1. Подготовьте код (используйте объявления типов ролей).
  2. Запустите средство проверки статических драйверов.
  3. Просмотр и анализ результатов.

Дополнительные сведения см. в разделе Использование средства проверки статических драйверов для поиска дефектов в драйверах.

Применяется к

ZwCloseZwCreateKeyZwDeleteKeyZwEnumerateKeyZwEnumerateValueKeyZwFlushKeyZwOpenKeyZwQueryKeyZwQueryKey ZwQueryValueKeyZwSetValueKey