Interpretación de los resultados del comprobador de controladores estático

Al iniciar el comprobador de controladores estáticos desde Visual Studio y ejecutar un análisis del controlador, los resultados aparecen en el resumen de Resultados de la pestaña Principal.

Estadísticas

Puntos de entrada Notifica el número de puntos de entrada encontrados en el código fuente del controlador. Los puntos de entrada son las rutinas de envío o devolución de llamada proporcionadas por el controlador. Los puntos de entrada se definen mediante declaraciones de tipo de rol de función. Para realizar el análisis, SDV debe encontrar al menos un punto de entrada. Para obtener más información, consulte Uso de declaraciones de tipo de rol de función.

Defectos encontrados Notifica el número de defectos encontrados durante el análisis. Un defecto es una infracción de una regla de cumplimiento de DDI.

Pruebas ejecutadas Notifica el número de reglas que se probaron durante el análisis. Estas son las reglas que seleccionó en la pestaña Reglas.

Estado

Informa del estado del análisis. Cuando haya finalizado, puede revisar los resultados encontrados.

Resultados

Completado (regla)
SDV probó el controlador por infracción de la regla, pero no pudo demostrar ninguna infracción de la regla.

Este resultado no significa que el controlador esté libre de errores. Solo significa que SDV no pudo demostrar que infringía la regla en el paso de comprobación.

Dar de baja
Si SDV notificó uno o varios defectos, haga clic en el vínculo Defecto para usar el informe del comprobador de controladores estáticos para ver el seguimiento del error.

No aplicable
SDV probó el controlador por infracción de la regla, pero el controlador no admitía el punto de entrada necesario para el análisis o el controlador no llamó a la función que supervisa la regla.

Si la regla supervisa un argumento determinado en una llamada de función (normalmente, un puntero a un recurso) y el controlador no llama a la función o no hace referencia a ese argumento, la regla no se aplica al controlador.

Si el controlador especifica los puntos de entrada y llama a las funciones que supervisa la regla, este resultado podría indicar que SDV no encontró o no interpretó correctamente el punto de entrada. Para confirmar que esta situación se produjo, examine y, si es necesario, corrija el archivo Sdv-map.h. Para obtener información sobre este procedimiento, consulte Examen del controlador.

Para obtener más información sobre cada regla, consulte la referencia Reglas del comprobador de controladores estáticos.

Para examinar aún más el controlador, ejecute una comprobación mediante reglas diferentes.

Tiempos de espera
SDV detuvo la comprobación de la regla porque superó su límite de tiempo para comprobar cada regla. El límite de tiempo se establece en el archivo de opciones del comprobador de controladores estáticos o en el campo Tiempo máximo de la pestaña Configuración.

Se considera que un tiempo de espera es un resultado inconcluso. No indica un error de controlador. Si SDV notifica un tiempo de espera, extienda el tiempo permitido para la comprobación (el valor de SDV_SlamConfig_Timeout en sdv-default.xmlfile) y vuelva a ejecutar la comprobación.

Completado (propiedad)
SDV ejecutó la regla de propiedad del controlador para el controlador especificado. Una regla de propiedad de controlador comprueba las funcionalidades del controlador o las características admitidas y es un preludio para un análisis posterior. Por ejemplo, la regla de propiedades del controlador, CancelRoutine, comprueba si el controlador WDM ha registrado una rutina Cancel. Si no se detecta una rutina Cancel, no se aplican reglas WDM específicas. Esto significa que no se cumplió la propiedad del controlador.

Satisfecho (propiedad)
SDV ejecutó la regla de propiedad del controlador para el controlador especificado. Una regla de propiedad de controlador comprueba las funcionalidades del controlador o las características admitidas y es un preludio para un análisis posterior. Por ejemplo, la regla de propiedades del controlador, CancelRoutine, comprueba si el controlador WDM ha registrado una rutina Cancel. Si se detecta una rutina Cancel, se aplican reglas WDM específicas. Esto significa que no se cumplió la propiedad del controlador

Spaceouts
Número de reglas que SDV dejó de comprobar porque superó el límite de memoria para comprobar la regla. El límite de memoria se establece en el archivo de opciones del comprobador de controladores estáticos, sdv-default.xml.

Se considera que un spaceout es un resultado inconcluso. Si SDV notifica un spaceout, extienda el espacio asignado para la comprobación (el valor de SDV_SlamConfig_Spaceout en el archivo sdv-default.xml) y vuelva a ejecutar la comprobación.

Otros

Número de veces que SDV encontró un error interno del que no se pudo recuperar. Consulte la página Mensajes de error del comprobador de controladores estáticos para obtener más información sobre los errores y la depuración.