Processo de verificação

O SDV realiza uma verificação, ou seja, um teste para determinar se o comportamento real do motorista 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 ele determina quais arquivos 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.

Construir

Durante a etapa de compilação , SDV compila, vincula e cria o driver usando MSBuild.

Digitalização

Durante a etapa Digitalizar, o SDV verifica o código do driver em busca de declarações de tipos 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 Verificação, o SDV prepara e verifica o condutor utilizando as regras que selecionou para garantir a conformidade com 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. Caso isto ocorra, o SDV copia os arquivos de modelo adicionais do sistema operativo para o 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 em um único arquivo executável para a verificação.

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

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

Comentar

Enquanto o SDV executa as etapas no processo de verificação, ele grava mensagens de status na linha de comando, juntamente com mensagens de erro que relatam erros que surgem em cada etapa. Para obter informações sobre as mensagens de status, consulte Command-Line saída. 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 o diagnóstico para ajudar você e a Microsoft a solucionar problemas com SDV, consulte Static Driver Verifier Diagnostics.