Mensagens de erro do Driver Verifier estático

Esta seção explica o significado de algumas das mensagens de erro SDV vistas com mais frequência e sugere métodos para resolvê-las.

Ao iniciar o SDV do Visual Studio, você poderá ver os seguintes erros:

• O SDV opera apenas em configurações de não depuração: como diz a mensagem, o SDV deve ser executado em uma configuração não depuração. Verifique se o projeto está definido como uma configuração de Release ou crie uma, caso não esteja disponível, e reinicie o SDV.
• Erro ao carregar as regras disponíveis: SDV não consegue encontrar as regras para o modelo de driver ou não pode determinar o modelo de driver corretamente (o que é muito mais provável se o seu driver não for um driver WDM, KMDF, NDIS ou Storport). Se o WDK estiver instalado corretamente, você poderá contornar esse erro executando o SDV diretamente na linha de comando (consulte os comandos do Verificador de Driver Estático (MSBuild)).
• O SDV não pôde limpar o diretório do driver: em alguns casos, erros de permissões podem impedir que o SDV limpe corretamente os resultados antigos do diretório do driver ao clicar no botão "Limpar". Esse erro também ocorrerá se os arquivos sdv de execuções anteriores estiverem em uso no momento. Verifique se nada está usando os arquivos SDV no diretório do driver e remova as pastas "sdv" e "sdv.temp" e todos os arquivos "staticdv.job".

Se o SDV falhar durante a tentativa de análise, o estágio em que falhou será impresso na saída padrão. Ao executar o SDV a partir da interface do Visual Studio, você pode ver essa saída alternando para a guia "Alertas".

Os estágios em que o SDV pode falhar são:

• NormalBuild: O SDV não pôde criar o driver usando comandos MSBuild padrão. Isso pode ocorrer se você tiver uma lógica de build especializada, contar com elementos de solução no arquivo de projeto ou tiver componentes de build externos. Se o projeto depender da propriedade $(SolutionDir), você poderá fornecer essa variável diretamente executando novamente o SDV da linha de comando e acrescentando-o à linha de comando adicionando /p:SolutionDir=[seu dir de solução] ao final do comando MSBuild. Consulte os comandos do Verificador de Driver Estático (MSBuild).
• InterceptedBuild: O SDV não pôde criar o driver para análise.
• Verificação: O SDV não conseguiu localizar os pontos de entrada do driver. Um erro aqui pode indicar que nenhum ponto de entrada foi encontrado e você deve atualizar seus tipos de função ou o arquivo sdv-map.h. Consulte Como usar declarações de tipo de função e aprovar o arquivo Sdv-map.h para obter mais informações.
• FinalCompile: O SDV não pôde compilar seu driver com a regra e o modelo do sistema operacional.
• CheckRule: O SDV não pôde verificar corretamente a regra.

Você pode saber mais detalhes sobre o erro habilitando o diagnóstico para SDV. Consulte o Diagnóstico do Verificador de Driver Estático para obter detalhes.