Interpretando resultados do Driver Verifier estático

Quando você inicia o Driver Verifier estático do Visual Studio e executa uma análise do driver, os resultados são exibidos no resumo Resultados na guia Principal.

Estatísticas

Pontos de entrada Informa o número de pontos de entrada encontrados no código-fonte do driver. Os pontos de entrada são as rotinas de retorno de chamada ou despacho fornecidas pelo driver. Você define os pontos de entrada usando declarações de tipo de função. Para realizar a análise, o SDV deve encontrar pelo menos um ponto de entrada. Para obter mais informações, consulte Usando declarações de tipo de função.

Defeitos encontrados Relata o número de defeitos encontrados durante a análise. Um defeito é uma violação de uma Regra de Conformidade DDI.

Testes executados Relata o número de regras que foram testadas durante a análise. Essas são as regras selecionadas na guia Regras.

Status

Informa o status da análise. Quando concluído, você pode revisar os resultados encontrados.

Resultados

Concluído (Regra)
O SDV testou o driver por violação da regra, mas não conseguiu provar qualquer violação da regra.

Esse resultado não significa que o driver está livre de erros. Significa apenas que a SDV não conseguiu provar que violou a regra no passe de verificação.

Falha
Se o SDV relatou um ou mais defeitos, clique no link Defeito para usar o Relatório do Driver Verifier estático para ver o rastreamento do erro.

Não Aplicável
O SDV testou o driver para violação da regra, mas o driver não deu suporte ao ponto de entrada necessário para a análise ou o driver não chamou a função que a regra monitora.

Se a regra monitora um argumento específico em uma chamada de função (normalmente, um ponteiro para um recurso), e o driver não chama a função ou não faz referência a esse argumento, a regra não se aplica ao driver.

Se o driver especificar os pontos de entrada e chamar as funções que a regra monitora, esse resultado poderá indicar que o SDV não encontrou ou não interpretou corretamente o ponto de entrada. Para confirmar que a situação ocorreu, examine e, se necessário, corrija o arquivo Sdv-map.h. Para obter informações sobre o procedimento, consulte Verificando o driver.

Para obter mais informações sobre cada regra, consulte a referência Regras do Driver Verifier estático.

Para examinar melhor o driver, execute uma verificação usando regras diferentes.

Tempo Limite
O SDV parou de verificar a regra porque excedeu seu limite de tempo para verificar cada regra. O limite de tempo é definido no Arquivo de Opções do Driver Verifier estático ou no campo Tempo máximo na guia Configuração.

Um tempo limite é considerado um resultado inconclusivo. Ele não indica um erro de driver. Se o SDV relatar um tempo limite, estenda o tempo permitido para a verificação (o valor SDV_SlamConfig_Timeout no sdv-default.xmlfile) e execute a verificação novamente.

Concluído (Propriedade)
O SDV executou a regra de propriedade do driver para o driver especificado. Uma regra de propriedade do driver verifica se há recursos de driver ou recursos suportados, sendo um prelúdio para análise adicional. Por exemplo, a regra de propriedade do driver, CancelRoutine, verifica se o driver WDM registrou uma rotina Cancelar. Se a rotina Cancelar não for detectada, especifique as regras que as WDM não se aplicam. Isso significa que a propriedade do driver não foi satisfeita.

Satisfeita (Propriedade)
O SDV executou a regra de propriedade do driver para o driver especificado. Uma regra de propriedade do driver verifica se há recursos de driver ou recursos suportados, sendo um prelúdio para análise adicional. Por exemplo, a regra de propriedade do driver, CancelRoutine, verifica se o driver WDM registrou uma rotina Cancelar. Se uma rotina Cancelar for detectada, especifique se as regras WDM se aplicam. Isso significa que a propriedade do driver foi satisfeita

Espaços limite
O número de regras que o SDV parou de verificar porque excedeu o limite de memória para verificar a regra. O limite de memória é definido no Arquivo de opções do Driver Verifier estático, sdv-default.xml.

Um espaço limite é considerado um resultado inconclusivo. Se o SDV relatar um espaço limite, estenda o espaço alocado para a verificação (o valor SDV_SlamConfig_Spaceout no arquivo sdv-default.xml) e execute a verificação novamente.

Outras

O número de vezes que o SDV encontrou um erro interno do qual não pôde se recuperar. Consulte a página Mensagens de erro do Driver Verifier estático para obter mais informações sobre os erros e a depuração.