Arquivos de entrada do Driver Verifier estático

O mecanismo de verificação SDV usa os seguintes arquivos como entrada para uma verificação. Somente os arquivos de origem do driver e os arquivos de modelo do sistema operacional são necessários para todas as verificações.

• Arquivo de projeto de driver e código-fonte. Execute o SDV no diretório em que o arquivo de projeto está localizado.

• Arquivos de modelo do sistema operacional. O SDV seleciona e monta os arquivos de modelo do sistema operacional com base nas regras selecionadas para a verificação.

• Arquivos de biblioteca processados. Os arquivos de biblioteca são necessários somente quando o driver depende de bibliotecas que não são do sistema. Para obter informações e instruções, consulte o Processamento de Bibliotecas no Verificador de Driver Estático.

• Arquivo de lista de regras. Consulte os comandos do Verificador de Driver Estático (MSBuild).

• Arquivo de opções do verificador de driver estático. O SDV cria um arquivo de opções global que contém configurações que se aplicam a todas as verificações de SDV. Para criar um arquivo de opções local para um driver, copie o arquivo de opções globais. Em seguida, você pode editar a cópia do arquivo de opções globais para criar um arquivo de opções local para o driver.

Ao avaliar os resultados de uma verificação SDV, é muito importante examinar os arquivos de entrada para confirmar a precisão e a integridade de todos os arquivos de entrada que foram usados na verificação.

Esta seção inclui descrições detalhadas dos seguintes arquivos:

Arquivo de lista de regras do verificador de driver estático

Arquivo de opções do Static Driver Verifier