Condividi tramite

Regola ReqMarkCancelableSend (kmdf)

  • Articolo

La regola ReqMarkCancelableSend specifica che le richieste inoltrate dal driver non sono contrassegnate come annullabili chiamando WdfRequestMarkCancelable.

Per contrassegnare la richiesta come annullabile, il driver deve possedere la richiesta. Quando la richiesta viene inviata a un altro driver, il driver precedente non ha più la proprietà e deve chiamare WdfRequestUnmarkCancelable sulla richiesta se è stato contrassegnato come annullabile in precedenza.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola ReqMarkCancelableSend .

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

WdfRequestMarkCancelableWdfRequestMarkCancelableExWdfRequestSendWdfRequestUnmarkCancelable