PdoInitFreeDeviceCreateType4 ルール (kmdf)
PdoInitFreeDeviceCreateType4 規則は、ドライバーが WdfDeviceCreate を呼び出すときにエラーが発生した場合に、ドライバーが WdfDeviceInitFree を呼び出す必要があることを指定します。
ドライバーが WdfDriverCreate を呼び出すときにエラーが発生し、ドライバーが WdfPdoInitAllocate への呼び出しから WDFDEVICE_INIT 構造体を受け取った場合、ドライバーは WdfDeviceInitFree を呼び出す必要があります。
ドライバーモデル: KMDF
テスト方法
コンパイル時 |
---|
静的ドライバー検証ツール を実行し、 PdoInitFreeDeviceCreateType4 ルールを指定します。 コードの分析を実行するには、次の手順に従います。詳細については、 「静的ドライバー検証ツールを使用してドライバー の欠陥を見つける」を参照してください。 |
適用対象
フィードバック
https://aka.ms/ContentUserFeedback」を参照してください。
以下は間もなく提供いたします。2024 年を通じて、コンテンツのフィードバック メカニズムとして GitHub の issue を段階的に廃止し、新しいフィードバック システムに置き換えます。 詳細については、「フィードバックの送信と表示