Compartir a través de

Regla DoubleDeviceInitFree (kmdf)

  • Artículo

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:
  1. Prepara el código (usa declaraciones de tipos de rol).
  2. Ejecuta el comprobador de controlador estático.
  3. Consulta y analiza los resultados.

Para obtener más información, consulte Uso del comprobador de controladores estáticos para buscar defectos en controladores.

Se aplica a

WdfDeviceInitFree