Partilhar via

Como criar um registo de verificação de controlador

O Programa de Certificação de Hardware do Windows requer um log de verificação de driver (DVL) para envios de driver. O DVL contém um resumo dos resultados das ferramentas de análise estática, CodeQL. O DVL não contém nenhuma informação de código-fonte. Antes de criar uma DVL para seu driver, execute CodeQL, a ferramenta de análise de código e verificador de driver estático. Para obter mais informações, consulte Teste de logotipo de ferramentas estáticas e CodeQL e Teste de logotipo de ferramentas estáticas.

Preparar o condutor

  1. Antes de executar as ferramentas de análise de código, crie e vincule seu driver usando o Kit de Driver do Windows (WDK) mais recente.
  2. Selecione Release para a configuração da solução e x64 para a plataforma da solução.

Determinar e executar os testes necessários

Para determinar quais testes são necessários para a versão do Windows para a qual você deseja certificar, consulte o Teste de logotipo de ferramentas estáticas.

Execute os seguintes testes, conforme necessário.

Criar o registo de verificação de driver

  1. No menu Driver, selecione Criar Registo de Verificação do Driver.
  2. Verifique se os arquivos Code Analysis Log, Static Driver Verifier Log e CodeQL Log foram detetados.
  3. Selecione Criar.

O log de verificação de driver tem a extensão de nome de arquivo . DVL.XML. O log é criado na pasta do projeto, por exemplo, \myDriverProject\myDriverName. DVL.XML.

O SDV executa uma reconstrução limpa do driver, que remove o log de análise de código. Como tal, certifique-se de executar o SDV antes de executar o CA.

Quando estiver pronto para testar o driver usando o Windows Hardware Lab Kit, copie o log de verificação do driver para o diretório \DVL %systemdrive%no computador de teste. Exclua o conteúdo do diretório no computador de teste antes de copiar o novo registo de verificação do controlador.

Importante

Tempo esgotado, lapsos e outras falhas no arquivo DVL são aceitáveis para submissão de certificação. Resultados não bem-sucedidos não farão com que o teste de ferramentas estáticas no HLK falhe.

Usar a janela do prompt de comando do Visual Studio

Você também pode criar o registro de verificação de drivers a partir de uma janela de linha de comando do Visual Studio. Use o prompt de comando de ferramentas nativas do Visual Studio instalado com o Visual Studio ou o Enterprise Windows Driver Kit (EWDK).

msbuild.exe <vcxprojectfile> /target:dvl /p:Configuration="Release" /P:Platform=x64

Criar um log de verificação de driver fora do msbuild ou do Visual Studio

A Microsoft fornece como parte do Windows Driver Kit (WDK) e Enterprise WDK (eWDK) um componente chamado dvl.exe que pode ser usado para gerar logs de verificação de driver (DVLs) via linha de comando. A partir das versões de visualização WDK/eWDK 21342 e superiores, é possível gerar uma DVL a partir da linha de comando fora do contexto do msbuild ou do Visual Studio.

Gerar DVL a partir do arquivo sarif CodeQL

  1. Localize dvl.exe do WDK ou de um eWDK montado. Normalmente é instalado em C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe
  2. Chame dvl.exe passando a bandeira /manualCreate, o nome do driver, uma arquitetura desejada e /sarifPath. Onde /sarifPath inclui o caminho para a pasta que contém o arquivo sarif.
"C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe" /manualCreate <driverName> <driverArchitecture> /sarifPath <pathToSarifLocation>

Gere um DVL a partir de um arquivo sarif CodeQL ou ao usar CA e SDV

  1. Coloque os resultados que devem ser consumidos para criar o DVL em um único diretório, juntamente com qualquer arquivo vcxproj. Para que os drivers sejam certificados para o Windows Client, esse arquivo é o arquivo CodeQL SARIF. A certificação do Windows Server também pode incluir os arquivos de resultados de Análise de Código e Verificador de Driver Estático (SDV). Verifique os documentos de requisitos do WHCP para obter detalhes específicos sobre quais ferramentas devem ser executadas para a certificação do driver de dispositivo.

  2. Coloque os arquivos CodeQL SARIF e os arquivos XML de análise de código no nível superior do diretório. Coloque o arquivo DVL.xml SDV em uma subpasta chamada sdv.

  3. Navegue até o diretório de nível superior que contém o arquivo CodeQL SARIF da linha de comando.

  4. Localize dvl.exe do WDK ou de um eWDK montado.

  5. Chame dvl.exe passando a bandeira /manualCreate, um nome de driver e uma arquitetura desejada. Por exemplo:

    Use uma das seguintes cadeias de caracteres para seu driverArchitecture:

    • X86
    • X64
    • Braço
    • Arm64

    Observação

    Não inclua ".sys" como parte da cadeia de caracteres driverName .

  6. Inspecione o DVL para garantir que ele foi gerado corretamente.

Este uso destina-se principalmente a gerar DVLs com resultados CodeQL, mas também pode ser usado para resultados SDV e CA.

Notas de lançamento

As informações mais atuais sobre a ferramenta Análise de Código, o Verificador de Driver Estático e o log de verificação de driver estão nas notas de versão do WDK na página de download do Kit de Driver do Windows (WDK).

  • Last updated on