saída Command-Line
Quando você envia um comando ao SDV, ele exibe informações sobre o comando conforme ele é executado, status mensagens que indicam o êxito ou falha do comando e quaisquer mensagens de erro ou avisos que possam ter sido gerados. Um resumo dos resultados da verificação aparece na parte inferior da saída.
Por exemplo, a ilustração a seguir mostra a saída da linha de comando de um comando para verificar o driver de exemplo SDV-FailDriver-WDM com a regra SpinLock . O driver de exemplo SDV-FailDriver-WDM, um driver com erros de codificação intencionais, está localizado na pasta \tools\sdv\samples\Sdv-FailDriver-WDM dos Exemplos de Driver do Windows.
Nessa verificação, o SDV descobriu que o driver violou a regra.
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
Depois de exibir o resumo dos resultados para ver quais regras foram violadas, você pode especificar a opção /view em um comando do MSBuild para ver o Relatório verificador de driver estático. Para obter informações sobre as opções de comando, consulte Comandos do Verificador de Driver Estático (MSBuild). Para obter informações sobre as etapas Verificar, Compilar e Verificar na saída, consulte Processo de verificação.
A tabela a seguir descreve os resultados que podem aparecer no resumo dos resultados.
Tipos de resultado | Descrição |
---|---|
Aprovações de regra |
O número de regras verificadas pelo SDV, mas para as quais ele não pôde provar qualquer violação da regra. |
Defeitos |
O número de violações de regra detectadas pelo SDV. |
Não aplicável |
O número de regras que o SDV não pôde verificar, seja porque o driver não deu suporte ao ponto de entrada necessário para a análise ou porque o driver não chamou a função que a regra monitora. Se esse valor for maior que 0, verifique se o conteúdo do arquivo Sdv-map.h está correto. |
Tempo Limite |
O número de regras que o SDV parou de verificar porque excedeu o limite de tempo para verificar cada regra. O limite de tempo é definido no Arquivo de Opções do Verificador de Driver Estático, Sdv-default.xml. Esse resultado é causado por limitações no SDV. Ele não indica um erro no driver. |
Espaçamentos |
O número de regras que o SDV parou de verificar porque excedeu o limite de memória para verificar a regra. O limite de memória é definido no Arquivo de Opções do Verificador de Driver Estático, Sdv-default.xml. Esse resultado é causado por limitações no SDV. Ele não indica um erro no driver. |
Outros |
O número de vezes que o SDV encontrou um erro interno do qual ele não pôde se recuperar. |