Condividi tramite

Regola MiniportOnlyWdmDevice (kmdf)

  • Articolo

La regola MiniportOnlyWdmDevice specifica che i driver WDF non devono usare le funzioni IoCreateDevice e IoCreateDeviceSecure per creare oggetti dispositivo WDM bare. In questo modo il computer si arresta in modo anomalo se un utente tenta di inviare un IRP al dispositivo WDM. Ciò è dovuto al fatto che le voci di invio IRP del dispositivo sono impostate su voci specifiche di WDF, ma il framework non ha creato un dispositivo WDF. Tuttavia, i driver miniport possono usare le DDI perché i punti di ingresso di invio del driver non sono impostati per loro.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola MiniportOnlyWdmDevice .

Per eseguire un'analisi del codice, seguire questa procedura:
  1. Preparare il codice (usare le dichiarazioni del tipo di ruolo).
  2. Eseguire verifica driver statici.
  3. Visualizzare e analizzare 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

WdfDriverCreate IoCreateDeviceIoCreateDeviceSecure