Заметка
Доступ к этой странице требует авторизации. Вы можете попробовать войти в систему или изменить каталог.
Доступ к этой странице требует авторизации. Вы можете попробовать сменить директорию.
Правило DoubleDeviceInitFree указывает, что драйверы не должны освобождать структуру инициализации устройства дважды.
Метод WdfDeviceInitFree не следует вызывать дважды для одной и той же структуры инициализации устройства.
Модель драйвера: KMDF
Как тестировать
| Во время компиляции |
|---|
Запустите средство проверки статических драйверов и укажите правило DoubleDeviceInitFree . Чтобы выполнить анализ кода, выполните следующие действия.
Дополнительные сведения см. в статье Использование средства проверки статических драйверов для поиска дефектов в драйверах. |