Ferramentas para verificar drivers
O WDK (Windows Driver Kit) 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 driver experientes e designers de interface de driver Windows.
Para obter melhores resultados, use todas as ferramentas que podem ser executadas em seu driver. Se você omitir qualquer uma dessas ferramentas, poderá perder um bug sério em seu driver.
Importante
O Programa de Compatibilidade de Hardware do Windows requer o CodeQL para Teste de Logotipo de Ferramentas Estáticas (STL) em nossos sistemas operacionais cliente e servidor. Continuaremos mantendo o suporte para SDV e CA em produtos mais antigos. Os parceiros são altamente encorajados a analisar os requisitos do CodeQL para o Teste de Logotipo de Ferramentas Estáticas. 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 sobre as 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
CodeQL e o teste de logotipo de ferramentas estáticas
Regras de conformidade com DDI
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 ferramentas como o Verificador de Driver e o Kernel Address Sanitizer devido ao 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.