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