CompleteCanceledReq ルール (kmdf)

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

ドライバーモデル: KMDF

テスト方法

コンパイル時
静的ドライバー検証ツール を実行し、CompleteCanceledReq ルール指定します。 コードの分析を実行するには、次の手順に従います。 コードを準備します (ロール型宣言を使用します)。 静的ドライバー検証ツールを実行します。 結果を表示および分析します。 詳細については、 「静的ドライバー検証ツールを使用してドライバー の欠陥を見つける」を参照してください。

適用対象

WdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestUnmarkCancelable