Выходные данные Command-Line

Статья
06/15/2023

При отправке команды в SDV отображаются сведения о команде по мере ее выполнения, сообщения о состоянии, указывающие на успешность или сбой команды, а также все сообщения об ошибках или предупреждения, которые могли быть созданы. Сводка результатов проверки отображается в нижней части выходных данных.

Например, на следующем рисунке показаны выходные данные командной строки команды для проверки примера драйвера SDV-FailDriver-WDM с помощью правила SpinLock . Пример драйвера SDV-FailDriver-WDM, драйвера с преднамеренными ошибками кодирования, находится в папке \tools\sdv\samples\Sdv-FailDriver-WDM в папке Примеры драйверов Windows.

В этой проверке SDV обнаружил, что драйвер нарушил правило.

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

После просмотра сводки результатов, чтобы узнать, какие правила были нарушены, можно указать параметр /view в команде MSBuild, чтобы просмотреть отчет о статической проверке драйверов. Сведения о параметрах команд см. в разделе Команды статического средства проверки драйверов (MSBuild). Сведения о шагах сканирования, сборки и проверки в выходных данных см. в разделе Процесс проверки.

В следующей таблице описаны результаты, которые могут отображаться в сводке результатов.

Типы результата	Описание
Пропуски правил	Количество правил, проверенных SDV, но для которых он не может доказать какое-либо нарушение правила.
Дефекты	Число обнаруженных SDV нарушений правил.
Неприменимо	Количество правил, которые SDV не удалось проверить, либо потому, что драйвер не поддерживает точку входа, необходимую для анализа, либо потому, что драйвер не вызвал функцию, отслеживаемую правилом. Если это значение больше 0, убедитесь, что содержимое файла Sdv-map.h правильно.
Время ожидания	Количество правил, проверка которых SDV остановлена, так как превышено ограничение времени для проверки каждого правила. Ограничение времени задается в файле параметров средства проверки статических драйверов Sdv-default.xml. Этот результат вызван ограничениями в SDV. Он не указывает на ошибку в драйвере.
Пробелы	Количество правил, проверка которых SDV остановлена, так как превышено ограничение памяти для проверки правила. Ограничение памяти задается в файле параметров средства проверки статических драйверов Sdv-default.xml. Этот результат вызван ограничениями в SDV. Он не указывает на ошибку в драйвере.
Другое	Количество случаев, когда SDV сталкивался с внутренней ошибкой, из-за которой не удавалось восстановиться.

Поделиться через

Выходные данные Command-Line

Обратная связь

Дополнительные ресурсы