Regla ControlDeviceInitAllocate (kmdf)

  • Artículo

La regla ControlDeviceInitAllocate especifica que para un objeto de dispositivo de control, el controlador debe llamar al método de inicialización del objeto de dispositivo de marco WdfControlDeviceInitAllocate antes de que el controlador llame a WdfDeviceCreate.

Modelo de controlador: KMDF

Cómo probar

En tiempo de compilación

Ejecute el Comprobador de controladores estáticos y especifique la regla ControlDeviceInitAllocate .

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

WdfDeviceCreate