Compartilhar via

Criando um arquivo de log para o Verificador de Driver Estático

  • Artigo

O Programa de Certificação de Hardware do Windows requer um Log de Verificação de Driver (DVL) para envios de driver. Talvez seja necessário executar o Verificador de Driver Estático antes de criar um DVL para seu driver. O DVL pode conter um resumo dos resultados de ferramentas como CodeQL, Análise de Código e Verificador de Driver Estático. Os arquivos de log não contêm informações de código-fonte. Para obter detalhes adicionais, consulte Static Tools Logo Test and CodeQL e Static Tools Logo Test.

Criar o arquivo de log para SDV

  1. No Microsoft Visual Studio, selecione o arquivo de projeto de driver e, em seguida, selecione e segure (ou clique com o botão direito do mouse) para abrir as propriedades do projeto.
  2. Se você já tiver executado a ferramenta Análise de código, siga estas instruções para executar o Verificador de Driver Estático. Para obter mais informações sobre como usar o SDV, consulte Usando o verificador de driver estático para localizar defeitos em drivers
  3. Se o SDV encontrar defeitos no driver, selecione o defeito no painel Resultados para exibir um rastreamento do caminho de código que levou à violação da regra. Corrija quaisquer defeitos encontrados no driver e execute o SDV novamente.

O Verificador de Driver Estático grava os resultados no SDV.DVL.xml de arquivo no subdiretório SDV do seu projeto, por exemplo, \myDriverProject\SDV.

Comentários

Para obter as informações mais atualizadas sobre o Verificador de Driver Estático e o Log de Verificação de Driver, consulte as Notas de Versão do WDK. As Notas de Versão estão disponíveis na página de download do Kit de Driver do Windows (WDK).

Importante

Tempos limites, espaçamentos e outros resultados malsucedidos no arquivo DVL são aceitáveis para envio de certificação. Isso não fará com que o teste de ferramentas estáticas no HCK falhe. Para HCK 2.0, o teste de ferramentas estáticas requer apenas a presença do arquivo DVL para mostrar que a análise de código e SDV foram executados e não requer que todas as regras sejam aprovadas.

Janela do prompt de comando do Visual Studio

Você também pode executar o Verificador de Driver Estático em uma janela do Prompt de Comando do Visual Studio. Configure o ambiente executando um dos seguintes arquivos em lote.

"C:\Program Files\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64

-Ou-

"C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64

Execute o Verificador de Driver Estático.

msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/clean"
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/check:default.sdv"