Command-Line Output

Amikor elküld egy parancsot az SDV-nek, az megjeleníti a parancs végrehajtásának adatait, a parancs sikerességét vagy sikertelenségét jelző állapotüzeneteket, valamint az esetlegesen létrehozott hibaüzeneteket vagy figyelmeztetéseket. Az ellenőrzés eredményeinek összegzése a kimenet alján jelenik meg.

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. Az SDV-FailDriver-WDM mintaillesztő, amely szándékos kódolási hibákkal rendelkezik, a Windows-illesztőprogram-minták \tools\sdv\samples\Sdv-FailDriver-WDM mappájában található.

Ebben az ellenőrzésben az SDV megállapította, hogy az illesztőprogram megsértette a szabályt.

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. A parancsbeállításokról további információt a Static Driver Verifier parancsok (MSBuild) című témakörben talál. For information about the Scan, Build and Check steps in the output, see Verification Process.

Az alábbi táblázat az eredmények összegzésében megjeleníthető eredményeket ismerteti.

Result Types	Description
Rule Passes	Az SDV által ellenőrzött szabályok száma, amelyek esetében azonban nem tudta bizonyítani a szabály megsértését.
Defects	Az SDV által észlelt szabálysértések száma.
Not Applicable	Az SDV által nem ellenőrizhető szabályok száma, vagy azért, mert az illesztőprogram nem támogatja az elemzéshez szükséges belépési pontot, vagy mert az illesztőprogram nem hívta meg a szabály által figyelt függvényt. If this value is greater than 0, verify that the Sdv-map.h file content is correct.
Timeouts	Azon szabályok száma, amelyeket az SDV nem ellenőriz, mert túllépte az egyes szabályok ellenőrzésére vonatkozó időkorlátot. Az időkorlát a Statikus illesztőprogram ellenőrző beállításai fájlban van beállítva, Sdv-default.xml. Ezt az eredményt az SDV korlátozásai okozzák. Nem jelez hibát az illesztőprogramban.
Spaceouts	Azon szabályok száma, amelyeket az SDV nem ellenőriz, mert túllépte a szabály ellenőrzéséhez szükséges memóriakorlátot. A memóriakorlát a Statikus illesztőprogram ellenőrző beállításai fájlban van beállítva, Sdv-default.xml. Ezt az eredményt az SDV korlátozásai okozzák. Nem jelez hibát az illesztőprogramban.
Other	Azon esetek száma, amikor az SDV olyan belső hibát észlelt, amelyből nem sikerült helyreállítani.