PdoInitFreeDeviceCreateType4 ルール (kmdf)
PdoInitFreeDeviceCreateType4 規則は、ドライバーが WdfDeviceCreate を呼び出すときにエラーが発生した場合に、ドライバーが WdfDeviceInitFree を呼び出す必要があることを指定します。
ドライバーが WdfDriverCreate を呼び出すときにエラーが発生し、ドライバーが WdfPdoInitAllocate への呼び出しから WDFDEVICE_INIT 構造体を受け取った場合、ドライバーは WdfDeviceInitFree を呼び出す必要があります。
ドライバーモデル: KMDF
テスト方法
| コンパイル時 |
|---|
静的ドライバー検証ツール を実行し、 PdoInitFreeDeviceCreateType4 ルールを指定します。 コードの分析を実行するには、次の手順に従います。詳細については、 「静的ドライバー検証ツールを使用してドライバー の欠陥を見つける」を参照してください。 |