Condividi tramite

Regola DoubleKeSetEvent (storport)

  • Articolo

Questa regola verifica che KeSetEvent non venga chiamato due volte nello stesso oggetto evento. Se lo stesso oggetto evento viene passato alla routine, il driver non riesce la regola.

Modello di driver: Storport

Come eseguire il test

In fase di compilazione

Eseguire il verifier del driver statico e specificare la regola DoubleKeSetEvent .

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 Uso del verificatore driver statico per trovare i difetti nei driver.

Si applica a

KeSetEvent