Arquivo de opções do Driver Verifier estático

O Arquivo de Opções do Verificador de Driver Estático, sdv-default.xml, armazena as configurações de opção padrão do Verificador de Driver Estático. Esse arquivo é criado nos subdiretórios \tools\sdv\data\wdm e \tools\sdv\data\wdf do WDK. Você pode editar o arquivo para alterar as configurações de opção e copiá-lo para o diretório de fontes de qualquer driver.

Esta seção inclui:

Arquivos de opções globais e locais

Campos de arquivo de opção

Exemplos de arquivo de opção

Important

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.