Condividi tramite

Regola WdfInterruptLockRelease (kmdf)

  • Articolo

La regola WdfInterruptLockRelease specifica che le chiamate a WdfInterruptAcquireLock e WdfInterruptReleaseLock vengono usate in modo bilanciato all'interno di una routine di callback KMDF. Alla fine di qualsiasi routine di callback kmdf, il driver non deve contenere l'oggetto di blocco di selezione del framework ottenuto da una chiamata precedente a WdfInterruptAcquireLock.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola WdfInterruptLockRelease .

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

WdfInterruptAcquireLockWdfInterruptReleaseLock