Правило PdoInitFreeDeviceCreateType4 (kmdf)
Правило PdoInitFreeDeviceCreateType4 указывает, что драйвер должен вызывать WdfDeviceInitFree , если возникает ошибка при вызове драйвером WdfDeviceCreate.
Если драйвер сталкивается с ошибкой при вызове WdfDriverCreate и если драйвер получил структуру WDFDEVICE_INIT из вызова WdfPdoInitAllocate, драйвер должен вызвать WdfDeviceInitFree.
Модель драйвера: KMDF
Как тестировать
Во время компиляции |
---|
Запустите средство проверки статических драйверов и укажите правило PdoInitFreeDeviceCreateType4 . Чтобы выполнить анализ кода, выполните следующие действия.
Дополнительные сведения см. в статье Использование средства проверки статических драйверов для поиска дефектов в драйверах. |