Command-Line Output

Wenn Sie einen Befehl an SDV übermitteln, werden Informationen über den Befehl angezeigt, während er ausgeführt wird, Statusmeldungen, die den Erfolg oder Fehler des Befehls angeben, sowie alle Fehlermeldungen oder Warnungen, die generiert wurden. Unten in der Ausgabe wird eine Zusammenfassung der Ergebnisse der Überprüfung angezeigt.

For example, the following illustration shows the command-line output from a command to verify the SDV-FailDriver-WDM sample driver with the SpinLock rule. Der SDV-FailDriver-WDM Beispieltreiber, ein Treiber mit absichtlichen Codierungsfehlern, befindet sich im Ordner "\tools\sdv\samples\Sdv-FailDriver-WDM" der Windows-Treiberbeispiele.

In dieser Überprüfung stellte SDV fest, dass der Treiber gegen die Regel verstoßen hat.

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

After viewing the results summary to see which rules were violated, you can specify the /view option in an MSBuild command to see the Static Driver Verifier Report. Informationen zu den Befehlsoptionen finden Sie unter "Static Driver Verifier commands (MSBuild)". For information about the Scan, Build and Check steps in the output, see Verification Process.

In der folgenden Tabelle werden die Ergebnisse beschrieben, die in der Ergebniszusammenfassung angezeigt werden können.

Result Types	Description
Rule Passes	Die Anzahl der Regeln, die SDV überprüft haben, aber für die sie keinen Verstoß gegen die Regel nachweisen konnte.
Defects	Die Anzahl der Von SDV erkannten Regelverletzungen.
Not Applicable	Die Anzahl der Regeln, die SDV nicht überprüfen konnte, entweder weil der Treiber den Einstiegspunkt, der für die Analyse erforderlich ist, nicht unterstützt hat, oder weil der Treiber die Von der Regel überwachte Funktion nicht aufgerufen hat. If this value is greater than 0, verify that the Sdv-map.h file content is correct.
Timeouts	Die Anzahl der Regeln, die SDV überprüft hat, weil sie ihr Zeitlimit für die Überprüfung der einzelnen Regeln überschritten hat. Das Zeitlimit wird in der Datei "Optionen für statische Treiberüberprüfung" Sdv-default.xmlfestgelegt. Dieses Ergebnis wird durch Einschränkungen in SDV verursacht. Es gibt keinen Fehler im Treiber an.
Spaceouts	Die Anzahl der Regeln, die SDV überprüft hat, weil sie den Speichergrenzwert für die Überprüfung der Regel überschritten hat. Der Speichergrenzwert wird in der Datei "Static Driver Verifier Options" Sdv-default.xmlfestgelegt. Dieses Ergebnis wird durch Einschränkungen in SDV verursacht. Es gibt keinen Fehler im Treiber an.
Other	Die Häufigkeit, mit der SDV einen internen Fehler aufgetreten ist, von dem er nicht wiederhergestellt werden konnte.