ZwRegistryCrea regola (wdm)

La regola ZwRegistryCreate specifica che dopo aver chiamato ZwCreateKey, il driver può chiamare le funzioni del Registro di sistema seguenti solo tenendo premuto un handle aperto per la chiave del Registro di sistema, ovvero prima di qualsiasi chiamata a ZwClose o ZwDeleteKey per chiudere o eliminare l'handle alla chiave del Registro di sistema:

• ZwClose

• ZwDeleteKey

• ZwEnumerateKey

• ZwEnumerateValueKey

• ZwFlushKey

• ZwQueryKey

• ZwQueryValueKey

• ZwSetValueKey

Questa regola specifica inoltre che il driver non deve chiamare ZwCreateKey o ZwOpenKey se contiene già un handle aperto per tale chiave del Registro di sistema.

Infine, questa regola specifica che il driver non deve restituire dalla routine dispatch o annullare la routine durante il mantenimento di un handle aperto a una chiave del Registro di sistema.

Questa regola non verifica che il driver abbia chiamato ZwCreateKey o ZwOpenKey per acquisire handle alla chiave del Registro di sistema prima di chiuderla o eliminarla.

Modello di driver: WDM

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola ZwRegistryCreate . Usa i passaggi descritti di seguito per eseguire un'analisi del codice: Prepara il codice (usa dichiarazioni di tipo ruolo). Esegui Driver Verifier statico. Visualizza e analizza i risultati. Per altre informazioni, vedere Using Static Driver Verifier to Find Defects in Drivers.For more information, see Using Static Driver Verifier to Find Defects in Drivers.

Si applica a

ZwCloseZwCreateKeyZwDeleteKeyZwEnumerateKey ZwEnumerateValueKeyZwFlushKeyZwQueryKeyZwQueryValueKeyZwSetValueKeyKey