Правило InitFreeDeviceCreateType4 (kmdf)
Правило InitFreeDeviceCreateType4 указывает, что драйвер должен вызывать WdfDeviceInitFree , если драйвер обнаруживает ошибку при вызове WdfDeviceCreate и если драйвер получил структуру WDFDEVICE_INIT из вызова WdfControlDeviceInitAllocate.
Модель драйвера: KMDF
Как тестировать
Во время компиляции |
---|
Запустите средство проверки статических драйверов и укажите правило InitFreeDeviceCreateType4 . Чтобы выполнить анализ кода, выполните следующие действия.
Дополнительные сведения см. в статье Использование средства проверки статических драйверов для поиска дефектов в драйверах. |
Применяется к
WdfControlDeviceInitAllocateWdfDeviceCreateWdfDeviceInitFree
См. также раздел
InitFreeDeviceCallbackInitFreeDeviceCreateType2PdoInitFreeDeviceCreateType2 PdoInitFreeDeviceCreateType2PdoInitFreeDeviceCallbackpdoInitFreeDeviceCreateType4InitFreeNull
Обратная связь
https://aka.ms/ContentUserFeedback.
Ожидается в ближайшее время: в течение 2024 года мы постепенно откажемся от GitHub Issues как механизма обратной связи для контента и заменим его новой системой обратной связи. Дополнительные сведения см. в разделеОтправить и просмотреть отзыв по