Regola AddDevice (wdm)

La regola AddDevice specifica che la routine AddDevice del driver chiama IoAttachDeviceToDeviceStack solo dopo aver chiamato IoCreateDevice.

Questa regola si applica solo ai driver che hanno una routine AddDevice .

Questa regola non verifica che il driver chiami IoCreateDevice o IoAttachDeviceToDeviceStack e non monitori le chiamate a IoCreateDeviceSecure.

Modello di driver: WDM

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola AddDevice .

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

IoAttachDeviceToDeviceStackIoCreateDevice