Regras de conformidade DDI
Esta seção lista e descreve as Regras de Conformidade da Interface de Driver de Dispositivo (DDI) do Windows que você pode usar para verificar os drivers WDM (Modelo de Driver do Windows), KMDF (Estrutura de Driver do Modo Kernel), Áudio (PortCls), AVStream (KS), NDIS e Storport. As regras de conformidade com DDI definem requisitos para a interação adequada entre um driver e a interface do kernel do sistema operacional.
Regras para drivers de áudio
Regras para drivers AVStream
Regras para drivers WDM
Regras para drivers KMDF
Regras para drivers NDIS
Regras para drivers Storport
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.
Ferramentas de verificação de driver
Você pode usar as ferramentas de análise de código, Verificador de Driver Estático e Verificador de Driver para testar um driver quanto à conformidade com as regras de uso de DDI. O Verificador de Driver Estático (SDV) executa a análise estática no código-fonte do driver, para que você possa usar o SDV no início do ciclo de desenvolvimento. O Verificador de Driver é integrado ao sistema operacional, para que você possa testar um driver em tempo de execução depois que ele tiver sido criado, implantado e instalado.
Usando o código-fonte do driver, o Verificador de Driver Estático cria um modelo do driver e do sistema operacional. Neste modelo, o SDV coloca o motorista em um ambiente hostil e testa sistematicamente os caminhos de código através do driver, procurando violações de um conjunto formalizado de regras de conformidade do driver (regras do Verificador de Driver Estático).
A partir do Windows 8, você pode configurar o Verificador de Driver para executar algumas das mesmas verificações de conformidade nos drivers instalados habilitando a verificação de conformidade de DDI.
Importante
O SDV não é mais suportado e o SDV não está disponível nas versões WDK ou EWDK do Windows 24H2. Ele não está disponível em WDKs mais recentes que a compilação 26017 e não está incluído no Windows 24H2 RTM WDK.
O SDV ainda pode ser usado baixando o Windows 11, versão 22H2 EWDK (lançado em 24 de outubro de 2023) com as ferramentas de compilação do Visual Studio 17.1.5 de Baixar o Kit de Driver do Windows (WDK). Recomenda-se apenas o uso do Enterprise WDK para executar o SDV. Usar versões mais antigas do WDK padrão em conjunto com versões recentes do Visual Studio não é recomendado, pois isso provavelmente resultará em falhas de análise.
No futuro, o CodeQL será a principal ferramenta de análise estática para drivers. O CodeQL fornece uma linguagem de consulta poderosa que trata o código como um banco de dados a ser consultado, simplificando a gravação de consultas para comportamentos, padrões e muito mais específicos.
Para obter mais informações sobre como usar o CodeQL, consulte CodeQL e o teste de logotipo de ferramentas estáticas.