CompleteCanceledReq ルール (kmdf)

  • [アーティクル]

CompleteCanceledReq ルールは、要求が既に取り消されている場合、要求は無効になり、ドライバーが要求を完了しないように指定します。 ドライバーは、以前にキャンセル可能とマークされた要求のマークを解除しますが、要求がまだ取り消されていないことを確認する必要があります。 ドライバーがこの確認を行わない場合、ドライバーは解除された要求を完了する可能性があります。

ドライバーモデル: KMDF

テスト方法

コンパイル時

静的ドライバー検証ツール を実行し、CompleteCanceledReq ルール指定します。

コードの分析を実行するには、次の手順に従います。
  1. コードを準備します (ロール型宣言を使用します)。
  2. 静的ドライバー検証ツールを実行します。
  3. 結果を表示および分析します。

詳細については、 「静的ドライバー検証ツールを使用してドライバー の欠陥を見つける」を参照してください。

適用対象

WdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestUnmarkCancelable