Command-Line Ausgabe

Artikel
06/15/2023

Wenn Sie einen Befehl an SDV übermitteln, werden während der Ausführung Informationen zum Befehl angezeigt, status Meldungen, die den Erfolg oder Fehler des Befehls angeben, sowie alle Fehlermeldungen oder Warnungen, die generiert wurden. Eine Zusammenfassung der Ergebnisse der Überprüfung wird unten in der Ausgabe angezeigt.

Die folgende Abbildung zeigt beispielsweise die Befehlszeilenausgabe eines Befehls zum Überprüfen des SDV-FailDriver-WDM-Beispieltreibers mit der SpinLock-Regel . Der Beispieltreiber SDV-FailDriver-WDM, ein Treiber mit absichtlichen Codierungsfehlern, befindet sich im Ordner \tools\sdv\samples\Sdv-FailDriver-WDM der Windows-Treiberbeispiele.

Bei 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

Nachdem Sie die Ergebniszusammenfassung angezeigt haben, um zu sehen, welche Regeln verletzt wurden, können Sie die Option /view in einem MSBuild-Befehl angeben, um den Static Driver Verifier Report anzuzeigen. Informationen zu den Befehlsoptionen finden Sie unter Static Driver Verifier commands (MSBuild). Informationen zu den Schritten Scan, Build und Check in der Ausgabe finden Sie unter Überprüfungsprozess.

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

Ergebnistypen	BESCHREIBUNG
Regeldurchläufe	Die Anzahl der Regeln, die von SDV überprüft wurden, für die es jedoch keinen Verstoß gegen die Regel nachweisen konnte.
Defekte	Die Anzahl der Regelverstöße, die VON SDV erkannt wurden.
Nicht verfügbar	Die Anzahl der Regeln, die sdv nicht überprüfen konnte, entweder weil der Treiber den für die Analyse erforderlichen Einstiegspunkt nicht unterstützt hat, oder weil der Treiber die von der Regel überwachte Funktion nicht aufgerufen hat. Wenn dieser Wert größer als 0 ist, überprüfen Sie, ob der Inhalt der Datei "Sdv-map.h " korrekt ist.
Timeouts	Die Anzahl der Regeln, die SDV nicht mehr überprüft, weil sie das Zeitlimit für die Überprüfung der einzelnen Regeln überschritten hat. Das Zeitlimit wird in der Optionsdatei für die statische Treiberüberprüfung Sdv-default.xml festgelegt. Dieses Ergebnis wird durch Einschränkungen in SDV verursacht. Dies weist nicht auf einen Fehler im Treiber hin.
Leerzeichen	Die Anzahl der Regeln, die SDV nicht mehr überprüft hat, weil sie den Arbeitsspeichergrenzwert für die Überprüfung der Regel überschritten hat. Das Arbeitsspeicherlimit wird in der Optionsdatei für die statische Treiberüberprüfung Sdv-default.xml festgelegt. Dieses Ergebnis wird durch Einschränkungen in SDV verursacht. Dies weist nicht auf einen Fehler im Treiber hin.
Andere	Gibt an, wie oft SDV einen internen Fehler gefunden hat, ab dem es nicht wiederhergestellt werden konnte.

Freigeben über

Command-Line Ausgabe

Feedback

Zusätzliche Ressourcen