Nota
L'accés a aquesta pàgina requereix autorització. Pots provar d'iniciar sessió o canviar de directori.
L'accés a aquesta pàgina requereix autorització. Pots provar de canviar directoris.
La regla DoubleDeviceInitFree especifica que los controladores no deben liberar la estructura de inicialización del dispositivo dos veces.
No se debe llamar al método WdfDeviceInitFree dos veces para la misma estructura de inicialización del dispositivo.
Modelo de controlador: KMDF
Cómo probar
| En tiempo de compilación |
|---|
Ejecute el comprobador de controladores estáticos y especifique la regla DoubleDeviceInitFree . Usa los pasos siguientes para ejecutar un análisis de tu código:
Para obtener más información, consulte Uso del comprobador de controladores estáticos para buscar defectos en controladores. |