Arquivo de opções do verificador de controlador 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 para o 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 secçã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 é 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.