Verificadores de Drivers Estáticos: Diagnósticos

O SDV tem um modo de diagnóstico que pode ajudar você e a Microsoft a solucionar problemas que o SDV pode encontrar. Quando o modo de diagnóstico está ativado, o SDV registra mensagens em uma série de arquivos em seu projeto de driver, um por estágio de verificação e por regra.

Ativar diagnósticos

Atualmente, o modo de diagnóstico para SDV (também conhecido como modo de depuração) só pode ser ativado quando executado a partir da linha de comando. Para obter mais detalhes sobre a execução a partir da linha de comando, consulte Static Driver Verifier commands (MSBuild).

Para ativar o diagnóstico, adicione o sinalizador /debug após um comando /check . Por exemplo:

msbuild /t:sdv /p:Inputs="/check:* /debug" mydriver.VcxProj /p:Configuration="Release" /p:Platform=x64

Habilitar o diagnóstico resultará em significativamente mais saída para a janela de comando, bem como na criação de arquivos de log específicos.

Noções básicas sobre diagnósticos

SDV criará vários arquivos em cada etapa de execução que fornecerão detalhes sobre essa etapa. Quando o SDV falha no meio da execução, ele não criará nenhum arquivo de diagnóstico para estágios posteriores.

Os ficheiros criados são, por ordem:

• smvexecute-NormalBuild.log: Ele está localizado no diretório de origem do driver e mostra a saída da tentativa inicial do SDV de construir o driver sem instrumentação e análise adicionais.

• smvexecute-InterceptedBuild.log: Este está localizado no diretório de origem do seu driver e mostra a saída do SDV que constrói o driver com os ganchos de análise adicionados.

• smvcl.log: Este está localizado no diretório "sdv" criado em seu projeto de driver por SDV. Ele mostra a saída do compilador da etapa InterceptedBuild. Se vir uma falha no smvexecute-InterceptedBuild.log, poderá encontrar detalhes adicionais em smvcl.log.

• smvexecute-Scan.log: Este está localizado no diretório "sdv" criado em seu projeto de driver por SDV. Mostra os resultados da análise do SDV ao tentar analisar o driver para encontrar pontos de entrada. 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.

• smvexecute-FinalCompile.log: Um desses arquivos é criado para cada regra verificada pelo sdv e pode ser encontrado na subpasta "sdv\check[rule name]" que o SDV cria em seu projeto de driver. Este arquivo mostra a saída da tentativa do SDV de construir o driver com o modelo do sistema operacional e a regra específica.

• smvexecute-CheckRule.log: Um desses arquivos é criado para cada regra verificada pelo sdv e pode ser encontrado na subpasta "sdv\check[nome da regra]" que o SDV cria em seu projeto de driver. Este ficheiro mostra o resultado da tentativa do SDV de verificar a regra especificada no seu driver.

Você deve procurar o arquivo correspondente à etapa listada como falhada na saída do comando. Se a falha ocorreu nas etapas FinalCompile ou CheckRule , verifique a pasta para a regra específica listada como falhando.