Mensagens de erro do verificador de driver estático

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

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

• O SDV só opera em configurações que não são de depuração: Como diz a mensagem, o SDV deve ser executado em uma configuração que não seja de depuração. Certifique-se de que seu projeto está definido para uma configuração Release ou crie uma, se não estiver disponível, e reinicie o SDV.
• Ocorreu um erro ao carregar as regras disponíveis: o SDV não consegue encontrar as regras para o seu modelo de controlador ou não consegue determinar o modelo de controlador corretamente (muito mais provável se o seu controlador não for um controlador WDM, KMDF, NDIS ou Storport). Se o WDK estiver instalado corretamente, você poderá contornar esse erro executando SDV diretamente da linha de comando (consulte Static Driver Verifier commands (MSBuild)).
• SDV não conseguiu limpar o diretório do driver: Em alguns casos, erros de permissões podem impedir SDV de limpar corretamente os resultados antigos do diretório do driver quando você clica no botão "Limpar". Este erro também ocorrerá se os arquivos sdv de execuções anteriores estiverem atualmente em uso. Certifique-se de que nada está usando os arquivos SDV no diretório do driver, em seguida, remova todas as pastas "sdv" e "sdv.temp" e quaisquer arquivos "staticdv.job".

Se o SDV falhar ao tentar a análise, ele imprimirá o estágio em que falhou na saída padrão. Ao executar o SDV a partir da GUI 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: SDV não pôde criar o driver usando comandos padrão do MSBuild. Isso pode ocorrer se você tiver lógica de compilação especializada, confiar em elementos de solução em seu arquivo de projeto ou tiver componentes de compilação externos. Se seu projeto depende da propriedade $(SolutionDir), você pode fornecer essa variável diretamente executando novamente o SDV a partir da linha de comando e acrescentando-o à linha de comando adicionando /p:SolutionDir=[your solution dir] ao final do comando MSBuild. Consulte Comandos do Verificador de Driver Estático (MSBuild).
• InterceptedBuild: SDV não conseguiu criar o driver para análise.
• Scan: SDV não conseguiu encontrar os pontos de entrada do driver. Um erro aqui pode indicar que nenhum ponto de entrada foi encontrado e que deve atualizar os seus tipos de função ou o arquivo sdv-map.h. Consulte Usando declarações de tipo de função e Aprovando o ficheiro Sdv-map.h para obter mais informações.
• FinalCompile: SDV não conseguiu compilar o driver com a regra e o modelo do sistema operativo.
• CheckRule: SDV não pôde verificar corretamente a regra.

Você poderá saber mais detalhes sobre o erro ativando o diagnóstico para SDV. Consulte Static Driver Verifier Diagnostics para obter detalhes.