Compartir a través de


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:
  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

ExFreePoolRemoveEntryListRemoveHeadList