Regla DoubleExFreePool (storport)
Esta regla comprueba que el controlador no intenta liberar el mismo bloque de memoria del grupo dos veces.
La regla realiza un seguimiento del puntero de memoria que se pasa primero a ExFreePool. Si se vuelve a pasar el mismo puntero, el controlador produce un error en la regla. Si el controlador llama a RemoveHeadList o RemoveEntryList, la regla pasa.
Modelo de controlador: Storport
Cómo probar
| En tiempo de compilación |
|---|
Ejecute el Comprobador de controladores estáticos y especifique la regla DoubleExFreePool . 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. |