Ferramentas para verificar drivers

O WDK (Kit de Driver do Windows) inclui várias ferramentas muito abrangentes projetadas para ajudá-lo a detectar e corrigir erros no código do driver durante o processo de desenvolvimento. Muitas dessas ferramentas podem ser usadas muito cedo no processo de desenvolvimento, onde são mais críticas e podem economizar mais tempo e esforço.

Essas ferramentas de verificação são descritas na documentação do WDK e recomendadas para seu uso porque cada ferramenta detecta diferentes tipos de erros de driver de maneiras diferentes. Essas ferramentas são muito mais eficientes do que as verificações manuais. Essas ferramentas podem detectar erros que normalmente não são encontrados em testes de driver padrão e incorporam a experiência de desenvolvedores de drivers experientes e designers de interface de driver do Windows.

Para obter melhores resultados, use todas as ferramentas que podem ser executadas no seu driver. Se você omitir qualquer uma dessas ferramentas, você pode perder um bug grave em seu driver.

Importante

O Programa de Compatibilidade de Hardware do Windows requer o CodeQL para testes de logotipo de ferramenta estática (STL) em nossos sistemas operacionais cliente e servidor. Continuaremos a manter o suporte para SDV e CA em produtos mais antigos. Os parceiros são altamente encorajados a revisar os requisitos do CodeQL para o Teste de Logotipo da Ferramenta Estática. Para obter mais informações sobre como usar o CodeQL, consulte CodeQL e o teste de logotipo de ferramentas estáticas.

Esta seção começa com uma breve discussão das características das ferramentas de verificação de código e uma pesquisa das ferramentas incluídas no WDK e no Windows ou disponíveis na Microsoft.

Esta seção inclui:

Ferramentas de verificação estática e dinâmica

Análise de código para drivers

Driver Verifier

Verificador de driver estático

Regras de conformidade com DDI

CodeQL e o teste de logotipo de ferramentas estáticas

Outras ferramentas

Se você tiver acesso a outras ferramentas de verificação de código ou driver (de outras fontes), recomendamos que você as use além das ferramentas do WDK. Certifique-se de usar a Análise de Código para Drivers, o Verificador de Driver Estático e o Verificador de Driver por causa de seu conhecimento específico de drivers do Windows, mas cada ferramenta analisa o código de maneiras diferentes e, portanto, pode ajudá-lo a encontrar e corrigir diferentes tipos de problemas.