SetCompletionRoutineFromDispatch ルール (KMDF)
SetCompletionRoutineFromDispatch ルールは、ドライバーが EvtDeviceWdmIrpDispatch コールバック関数から IRP の完了ルーチンを指定しないことを検証します。
ドライバーモデル: KMDF
テスト方法
コンパイル時 |
---|
静的ドライバー検証ツール を実行し、 SetCompletionRoutineFromDispatch 規則を指定します。 コードの分析を実行するには、次の手順に従います。詳細については、 「静的ドライバー検証ツールを使用してドライバー の欠陥を見つける」を参照してください。 |