Regola ZwRegistryOpen (storport)

Questa regola verifica che l'handle della chiave del Registro di sistema aperto tramite ZwOpenKey venga successivamente usato correttamente da altre routine ZwXxx. Le routine ZwEnumerateKey, ZwEnumerateValueKey, ZwFlushKey, ZwQueryKey, ZwQueryValueKey, ZwSetValueKey, ZwClose e ZwDeleteKey non devono essere chiamate su un handle che non è aperto. L'handle deve anche essere chiuso prima della restituzione.

Modello di driver: Storport

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola ZwRegistryOpen .

Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
  1. Prepara il codice (usa dichiarazioni di tipo ruolo).
  2. Esegui Driver Verifier statico.
  3. 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

ZwCloseZwDeleteKeyZwEnumerateKeyZwEnumerateValueKeyZwFlushKey ZwOpenKeyZwQueryKeyZwQueryValueKeyZwSetValueKey