Condividi tramite


Regola ControlDeviceInitAllocate (kmdf)

La regola ControlDeviceInitAllocate specifica che per un oggetto dispositivo di controllo, il driver deve chiamare il metodo di inizializzazione dell'oggetto del dispositivo framework WdfControlDeviceInitAllocate prima che il driver chiami WdfDeviceCreate.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire il verifica driver statico e specificare la regola ControlDeviceInitAllocate .

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

WdfDeviceCreate