salida de Command-Line

Artículo
06/15/2023

Al enviar un comando a SDV, muestra información sobre el comando a medida que se ejecuta, mensajes de estado que indican el éxito o error del comando y los mensajes de error o advertencias que podrían haberse generado. Aparece un resumen de los resultados de la comprobación en la parte inferior de la salida.

Por ejemplo, en la ilustración siguiente se muestra la salida de la línea de comandos de un comando para comprobar el controlador de ejemplo SDV-FailDriver-WDM con la regla SpinLock . El controlador de ejemplo SDV-FailDriver-WDM, un controlador con errores de codificación intencionales, se encuentra en la carpeta \tools\sdv\samples\Sdv-FailDriver-WDM de los ejemplos de controladores de Windows.

En esta comprobación, SDV encontró que el controlador infringía la regla.

G:\Windows-driver-samples\tools\sdv\samples\SDV-FailDriver-WDM\driver>msbuild /p:Configuration=Release /p:Platform=x64 /t:sdv /p:inputs=/check:spinlock
Microsoft (R) Build Engine version 15.6.82.30579 for .NET Framework
Copyright (C) Microsoft Corporation. All rights reserved.

Build started 3/30/2018 10:56:50 AM.
Project "G:\Windows-driver-samples\tools\sdv\samples\SDV-FailDriver-WDM\driver\fail_driver1.vcxproj" on node 1 (sdv tar
get(s)).
sdv:
  staticdv /check:spinlock
  SDV: H:\Program Files\Windows Kits\10\TOOLS\SDV
  SMV: H:\Program Files\Windows Kits\10\TOOLS\SDV\smv
  SDVAP: H:\Program Files\Windows Kits\10\TOOLS\SDV\smv\analysisplugins\sdv
  Build environment: msbuild
  [INFO] Cleaning ...
  [INFO] Setting interceptor platform to x64
  [INFO] Setting platform to x86_amd64
  [INFO] Validating XML against schema: H:\Program Files\Windows Kits\10\TOOLS\SDV\smv\bin\Config.xsd
  [INFO] Running local scheduler with 8 threads
  [INFO] Driver type found: wdm
  [INFO] Currently reading and validating XML settings from H:\Program Files\Windows Kits\10\TOOLS\SDV\data\wdm\sdv-def
  ault.xml

  [INFO] 1 of 2 jobs remaining. Avg(s): 8.00. Std.Dev(s): 0.00
  [INFO] 1 of 3 jobs remaining. Avg(s): 9.00. Std.Dev(s): 1.00
  Scan ...Done

  [INFO] 0 of 3 jobs remaining. Avg(s): 6.00. Std.Dev(s): 4.32

  Building ...Done
  [INFO] Using plugin SdvPlugin.SmvSdv for analysis.
  [INFO] Running analysis on 11 precondition(s) & 1 rule(s) ...
  [INFO] Checking preconditions...

  [INFO] 10 of 15 jobs remaining. Avg(s): 7.20. Std.Dev(s): 3.66
  [INFO] 10 of 16 jobs remaining. Avg(s): 7.50. Std.Dev(s): 3.40
  [INFO] 11 of 17 jobs remaining. Avg(s): 7.50. Std.Dev(s): 3.40
  [INFO] 10 of 18 jobs remaining. Avg(s): 9.13. Std.Dev(s): 4.08
  [INFO] 11 of 19 jobs remaining. Avg(s): 9.13. Std.Dev(s): 4.08
  [INFO] 10 of 20 jobs remaining. Avg(s): 11.30. Std.Dev(s): 5.68
  [INFO] 11 of 21 jobs remaining. Avg(s): 11.30. Std.Dev(s): 5.68
  [INFO] 11 of 22 jobs remaining. Avg(s): 12.18. Std.Dev(s): 6.09
  [INFO] 10 of 22 jobs remaining. Avg(s): 11.92. Std.Dev(s): 5.89
  [INFO] 10 of 23 jobs remaining. Avg(s): 12.15. Std.Dev(s): 5.72
  [INFO] 10 of 24 jobs remaining. Avg(s): 12.64. Std.Dev(s): 5.79
  [INFO] 7 of 25 jobs remaining. Avg(s): 13.50. Std.Dev(s): 5.80
  [INFO] 7 of 25 jobs remaining. Avg(s): 13.50. Std.Dev(s): 5.80
  [INFO] 7 of 25 jobs remaining. Avg(s): 13.50. Std.Dev(s): 5.80
  [INFO] 7 of 25 jobs remaining. Avg(s): 13.50. Std.Dev(s): 5.80
  [INFO] 6 of 25 jobs remaining. Avg(s): 13.42. Std.Dev(s): 5.65
  [INFO] 5 of 25 jobs remaining. Avg(s): 13.75. Std.Dev(s): 5.69
  [INFO] 4 of 25 jobs remaining. Avg(s): 13.95. Std.Dev(s): 5.63
  [INFO] 3 of 25 jobs remaining. Avg(s): 14.09. Std.Dev(s): 5.53
  [INFO] 2 of 25 jobs remaining. Avg(s): 14.13. Std.Dev(s): 5.42
  [INFO] 1 of 25 jobs remaining. Avg(s): 14.17. Std.Dev(s): 5.30
  [INFO] 0 of 25 jobs remaining. Avg(s): 14.20. Std.Dev(s): 5.20
  [INFO] Precondition check(s) completed.
  [INFO] Verifying rules...

  [INFO] 1 of 27 jobs remaining. Avg(s): 13.65. Std.Dev(s): 5.78
  [INFO] 1 of 28 jobs remaining. Avg(s): 13.37. Std.Dev(s): 5.86
  [INFO] 0 of 28 jobs remaining. Avg(s): 13.21. Std.Dev(s): 5.81

  [INFO] 1 defects found.
  [INFO] Please review using '/view' argument for SDV.

  [INFO] Total time taken 96 seconds
  [INFO] Found 1 bugs!
Done Building Project "G:\Windows-driver-samples\tools\sdv\samples\SDV-FailDriver-WDM\driver\fail_driver1.vcxproj" (sdv
 target(s)).


Build succeeded.
    0 Warning(s)
    0 Error(s)

Time Elapsed 00:01:37.93

Después de ver el resumen de resultados para ver qué reglas se infringieron, puede especificar la opción /view en un comando de MSBuild para ver el informe de comprobador de controladores estáticos. Para obtener información sobre las opciones de comando, vea Comandos de comprobador de controladores estáticos (MSBuild). Para obtener información sobre los pasos Examen, Compilación y Comprobación de la salida, consulte Proceso de comprobación.

En la tabla siguiente se describen los resultados que pueden aparecer en el resumen de resultados.

Tipos de resultado	Descripción
Pases de regla	Número de reglas comprobadas por SDV, pero para las que no pudo demostrar ninguna infracción de la regla.
Defectos	Número de infracciones de regla detectadas por SDV.
No aplicable	El número de reglas que SDV no pudo comprobar, ya sea porque el controlador no admitía el punto de entrada necesario para el análisis, o porque el controlador no llamó a la función que supervisa la regla. Si este valor es mayor que 0, compruebe que el contenido del archivo Sdv-map.h es correcto.
Tiempos de espera	Número de reglas que SDV detuvo la comprobación 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, Sdv-default.xml. Este resultado se debe a limitaciones en SDV. No indica un error en el controlador.
Espaciaciones	Número de reglas que SDV detuvo la comprobación 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. Este resultado se debe a limitaciones en SDV. No indica un error en el controlador.
Otros	Número de veces que SDV encontró un error interno desde el que no se pudo recuperar.

Compartir a través de

salida de Command-Line

Comentarios

Recursos adicionales