Arquivos de entrada do verificador de driver 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 do driver e código-fonte. Execute SDV no diretório onde 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 sejam 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 globais que contém configurações que se aplicam a todas as verificações de SDV. Para criar um arquivo de opções locais 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 locais 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 integridade de todos os arquivos de entrada que foram usados na verificação.

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

Lista de Regras do Static Driver Verifier

Ficheiro de opções do verificador de driver estático