Condividi tramite

output Command-Line

  • Articolo

Quando si invia un comando a SDV, vengono visualizzate informazioni sul comando durante l'esecuzione, i messaggi di stato che indicano l'esito positivo o negativo del comando e tutti i messaggi di errore o avvisi che potrebbero essere stati generati. Viene visualizzato un riepilogo dei risultati della verifica nella parte inferiore dell'output.

Ad esempio, la figura seguente mostra l'output della riga di comando da un comando per verificare il driver di esempio SDV-FailDriver-WDM con la regola SpinLock . Il driver di esempio SDV-FailDriver-WDM, un driver con errori di codifica intenzionali, si trova nella cartella \tools\sdv\samples\Sdv-FailDriver-WDM di Windows Driver Samples.

In questa verifica, SDV ha rilevato che il driver ha violato la regola.

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

Dopo aver visualizzato il riepilogo dei risultati per visualizzare quali regole sono state violate, è possibile specificare l'opzione /view in un comando MSBuild per visualizzare il report di verifica driver statico. Per informazioni sulle opzioni di comando, vedere Comandi di verifica driver statici (MSBuild). Per informazioni sulla procedura analisi, compilazione e controllo nell'output, vedere Processo di verifica.

Nella tabella seguente vengono descritti i risultati che possono essere visualizzati nel riepilogo dei risultati.

Tipi restituiti Descrizione

Pass delle regole

Numero di regole verificate dall'SDV, ma per cui non è stato possibile dimostrare alcuna violazione della regola.

Difetti

Numero di violazioni delle regole rilevate da SDV.

Non applicabile

Numero di regole che SDV non è riuscito a verificare, perché il driver non supporta il punto di ingresso necessario per l'analisi o perché il driver non ha chiamato la funzione monitorata dalla regola.

Se questo valore è maggiore di 0, verificare che il contenuto del file Sdv-map.h sia corretto.

Timeout

Numero di regole che SDV ha arrestato la verifica perché ha superato il limite di tempo per verificare ogni regola. Il limite di tempo è impostato nel file opzioni del driver statico, Sdv-default.xml.

Questo risultato è causato da limitazioni in SDV. Non indica un errore nel driver.

Spaziatura

Numero di regole che SDV ha arrestato la verifica perché ha superato il limite di memoria per verificare la regola. Il limite di memoria è impostato nel file opzioni di verifica driver statico Sdv-default.xml.

Questo risultato è causato da limitazioni in SDV. Non indica un errore nel driver.

Altri

Numero di volte in cui SDV ha rilevato un errore interno da cui non è stato possibile ripristinare.