Regola SyncReqSend2 (kmdf)
La regola SyncReqSend2 specifica che le richieste sincrone inviate hanno un valore di timeout diverso da zero impostato.
Se il driver chiama WdfRequestSend senza impostare un timeout valido nelle opzioni di richiesta, 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 SyncReqSend2 . 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. |