Observação
O acesso a essa página exige autorização. Você pode tentar entrar ou alterar diretórios.
O acesso a essa página exige autorização. Você pode tentar alterar os diretórios.
Esta seção lista e descreve as Regras de Conformidade da DDI (Interface do Driver de Dispositivo) do Windows que você pode usar para verificar os drivers WDM (Modelo de Driver do Windows), KMDF (Kernel Mode Driver Framework), Áudio (PortCls), AVStream (KS), NDIS e Storport. As regras de Conformidade de 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 testes do CodeQL para STL (logotipo da ferramenta estática) em nossos sistemas operacionais cliente e servidor. Continuaremos a manter o suporte para SDV e AC em produtos mais antigos. Os parceiros são altamente incentivados a revisar os requisitos do CodeQL para o Teste do Logotipo da Ferramenta de Análise Estática. 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 para conformidade com as regras de uso de DDI. O SDV (Verificador de Driver Estático) executa uma 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 runtime 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. Nesse modelo, o SDV coloca o driver em um ambiente hostil e testa sistematicamente caminhos de código por meio do driver, procurando violações de um conjunto formalizado das 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 em drivers instalados habilitando a verificação de conformidade de DDI.
Importante
O SDV não tem mais suporte 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 do que o build 26017 e não está incluído no WDK do Windows 24H2 RTM.
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 construção do Visual Studio 17.1.5 a partir do Download do Kit de Drivers do Windows (WDK). É recomendável apenas o uso do WDK Enterprise para executar o SDV. Não é recomendável usar versões mais antigas do WDK padrão em conjunto com versões recentes do Visual Studio, pois isso provavelmente resultará em falhas de análise.
De agora em diante, o CodeQL será a ferramenta principal de análise estática para drivers de software. 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 específicos, padrões e muito mais.
Para obter mais informações sobre como usar o CodeQL, consulte CodeQL e o Teste de Logotipo de Ferramentas Estáticas.