Processo de verificação

O SDV realiza uma verificação, ou seja, um teste para determinar se o comportamento real do driver está em conformidade com as regras que definem o comportamento adequado.

Quando você envia um comando para verificar um driver, o SDV executa um processo de três etapas, durante o qual determina quais arquivos ele precisa, prepara os arquivos e verifica o driver.

Este tópico descreve o que acontece em cada uma das etapas do processo de verificação.

Compilação

Durante a etapa Compilar , o SDV compila, vincula e cria o driver usando o MSBuild.

Varredura

Durante a etapa Verificar , o SDV examina o código do driver em busca de declarações de tipo de função, monta uma lista de pontos de entrada do driver e cria o arquivo Sdv-map.h no diretório que armazena o arquivo de fontes para o driver (conhecido como diretório de fontes do driver).

Verificar

Durante a etapa Verificar , o SDV prepara e verifica o driver usando as regras selecionadas para a verificação. Para obter mais informações sobre as regras que você pode selecionar, consulte Regras do Verificador de Driver Estático.

O SDV começa determinando se as regras selecionadas exigem componentes adicionais do modelo do sistema operacional. Se o fizerem, o SDV copiará os arquivos adicionais do modelo do sistema operacional no diretório de fontes do driver.

Em seguida, os arquivos de driver, arquivos de biblioteca, arquivos de código de regra (RuleName.slic) e arquivos de modelo do sistema operacional são vinculados a um único arquivo executável para a verificação.

Em seguida, o mecanismo de verificação SDV verifica uma regra por vez, até verificar todas as regras selecionadas.

Durante essa etapa, o SDV cria um subdiretório para cada regra verificada no diretório DriverPath\sdv\marcar.

Comentário

Embora o SDV execute as etapas no processo de verificação, ele grava status mensagens na linha de comando, juntamente com mensagens de erro que relatam erros que surgem em cada etapa. Para obter informações sobre as mensagens status, consulte Saída de linha de comando. Para obter informações sobre as mensagens de erro, consulte Mensagens de erro do verificador de driver estático. Para obter informações sobre como habilitar diagnóstico para ajudar você e a Microsoft a solucionar problemas com o SDV, consulte Diagnóstico do Verificador de Driver Estático.