Command-Line Output

Saat Anda mengirimkan perintah ke SDV, perintah menampilkan informasi tentang perintah saat dijalankan, pesan status yang menunjukkan keberhasilan atau kegagalan perintah, dan pesan kesalahan atau peringatan apa pun yang mungkin telah dihasilkan. Ringkasan hasil verifikasi muncul di bagian bawah output.

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. Driver sampel SDV-FailDriver-WDM, driver dengan kesalahan pengkodian yang disengaja, terletak di folder \tools\sdv\samples\Sdv-FailDriver-WDM dari Sampel Driver Windows.

Dalam verifikasi ini, SDV menemukan bahwa driver melanggar aturan.

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. Untuk informasi tentang opsi perintah, lihat Perintah Pemverifikasi Driver Statis (MSBuild). For information about the Scan, Build and Check steps in the output, see Verification Process.

Tabel berikut ini menjelaskan hasil yang bisa muncul dalam ringkasan hasil.

Result Types	Description
Rule Passes	Jumlah aturan yang diverifikasi SDV, tetapi tidak dapat membuktikan pelanggaran aturan.
Defects	Jumlah pelanggaran aturan yang terdeteksi SDV.
Not Applicable	Jumlah aturan yang tidak dapat diverifikasi SDV, baik karena driver tidak mendukung titik masuk yang diperlukan untuk analisis, atau karena driver tidak memanggil fungsi yang dipantau aturan. If this value is greater than 0, verify that the Sdv-map.h file content is correct.
Timeouts	Jumlah aturan yang berhenti diverifikasi SDV karena melebihi batas waktunya untuk memverifikasi setiap aturan. Batas waktu diatur dalam File Opsi Pemverifikasi Driver Statis, Sdv-default.xml. Hasil ini disebabkan oleh keterbatasan dalam SDV. Ini tidak menunjukkan kesalahan pada driver.
Spaceouts	Jumlah aturan yang berhenti diverifikasi SDV karena melebihi batas memori untuk memverifikasi aturan. Batas memori diatur dalam File Opsi Pemverifikasi Driver Statis, Sdv-default.xml. Hasil ini disebabkan oleh keterbatasan dalam SDV. Ini tidak menunjukkan kesalahan pada driver.
Other	Frekuensi SDV mengalami kesalahan internal yang tidak dapat dipulihkan.