Condividi tramite


Regola SyncReqSend (kmdf)

La regola SyncReqSend specifica che tutte le richieste di invio sincrone vengono eseguite usando metodi di interfaccia del driver del dispositivo KMDF specifici della funzione sincrona e che i metodi hanno un valore di timeout diverso da zero impostato.

Se il driver chiama un metodo WDFxxxSendXXXSynchronously senza impostare un timeout valido, il thread può essere bloccato se l'hardware non risponde tempestivamente.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola SyncReqSend .

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

WdfIoTargetSendIoctlSynchronouslyWdfIoTargetSendReadSynchronouslyWdfIoTargetSendWriteSynchronouslyWdfUsbTargetDeviceSendControlTransferSynchronouslyWdfdfUsbTargetDeviceSendUrbSynchronouslyWdfUsbTargetPipeReadSynchronouslyWdfUsbTargetPipeSendUrbSynchronouslyWdfUsbTargetPipeWriteSynchronously