Nota
L'accesso a questa pagina richiede l'autorizzazione. Puoi provare ad accedere o a cambiare directory.
L'accesso a questa pagina richiede l'autorizzazione. Puoi provare a cambiare directory.
La regola Cleanup4CtlDeviceRegistered specifica che se un driver di Plug and Play (PnP) chiama WdfDeviceCreate per l'oggetto dispositivo di controllo, il driver deve registrare una delle funzioni di callback degli eventi necessarie.
La funzione di callback dell'evento può essere una delle seguenti:
EvtCleanupCallback o EvtDestroyCallback nella struttura WDF_OBJECT_ATTRIBUTES per il dispositivo di controllo oppure EvtDeviceSelfManagedIoCleanup nella struttura WDF_PNPPOWER_EVENT_CALLBACKS
Modello di driver: KMDF
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire Static Driver Verifier e specificare la regola Cleanup4CtlDeviceRegistered . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
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. |