Regla DanglingDeviceObjectReference (wdm)
La regla DanglingDeviceObjectReference especifica que el controlador llama a ObDereferenceObject con el mismo puntero de objeto de dispositivo que devuelve IoGetAttachedDeviceReference .
Esta regla también especifica que todos los punteros de objeto de dispositivo a los que hace referencia el controlador mediante una llamada a IoGetAttachedDeviceReference se desreferencian llamando a ObDereferenceObject antes de que se cierre el controlador. ObfDereferenceObject
Modelo de controlador: WDM
Cómo probar
En tiempo de compilación |
---|
Ejecute el comprobador de controladores estáticos y especifique la regla DanglingDeviceObjectReference . 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. |