Condividi tramite


Regola DoubleDeviceInitFree (kmdf)

La regola DoubleDeviceInitFree specifica che i driver non devono liberare la struttura di inizializzazione del dispositivo due volte.

Il metodo WdfDeviceInitFree non deve essere chiamato due volte per la stessa struttura di inizializzazione del dispositivo.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire il verifica driver statico e specificare la regola DoubleDeviceInitFree .

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

WdfDeviceInitFree