Arquivos de entrada do verificador de driver estático
O mecanismo de verificação SDV usa os arquivos a seguir 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 Processamento de biblioteca no Verificador de Driver Estático.
Arquivo de lista de regras. Consulte 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