Nota
O acesso a esta página requer autorização. Podes tentar iniciar sessão ou mudar de diretório.
O acesso a esta página requer autorização. Podes tentar mudar de diretório.
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 (Windows Driver Model), KMDF (Kernel Mode Driver Framework), Audio (PortCls), AVStream (KS), NDIS e Storport. As regras de conformidade 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 Controladores KMDF
Regras para Controladores NDIS
Regras para Drivers Storport
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 incentivados a rever os requisitos do CodeQL para o Teste de Logotipo de Ferramenta 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 drivers
Você pode usar as ferramentas de análise de código, Verificador de Driver Estático e Verificador de Driver para testar a conformidade de um driver 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 Static Driver Verifier cria um modelo do driver e do sistema operacional. Neste modelo, o SDV coloca o controlador num ambiente hostil e testa sistematicamente os caminhos de código através do controlador, procurando violações de um conjunto de regras formalizadas de conformidade do controlador (regras do Verificador de Controlador 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 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 do 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 em Baixar o Kit de Driver do Windows (WDK). Somente o uso do Enterprise WDK para executar SDV é recomendado. O uso de 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 ferramenta principal de análise estática para controladores. O CodeQL fornece uma linguagem de consulta poderosa que trata o código como um banco de dados a ser consultado, simplificando a escrita 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.