Condividi tramite

Regola UsbDeviceCreateTarget (kmdf)

  • Articolo

La regola UsbDeviceCreateTarget specifica che più oggetti WDFUSBDEVICE non vengono creati durante la perdita di oggetti WDFUSBDEVICE attualmente presenti nel contesto del dispositivo.

Ad esempio, la funzione di callback degli eventi EvtDevicePrepareHardware può essere chiamata più volte quando il sistema tenta di gestire le risorse e deve allocare un blocco di memoria diverso per il driver. In questo caso, la funzione di callback degli eventi EvtDeviceReleaseHardware viene chiamata per annullare il mapping delle risorse di memoria dopo che il framework ha inizialmente chiamato EvtDevicePrepareHardware. EvtDevicePrepareHardware viene quindi chiamato nuovamente per eseguire il mapping delle risorse in modo che il driver possa accedere alla memoria assegnata al dispositivo. Questa regola verifica prima che il driver verifichi che wdFUSBDEVICE di destinazione sia NULL e non crei semplicemente un nuovo dispositivo e sostituisca l'handle precedente.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola UsbDeviceCreateTarget .

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

WdfUsbTargetDeviceCreateWdfUsbTargetDeviceCreateWithParameters