Processamento de biblioteca no Driver Verifier estático

Muitos drivers dependem de bibliotecas de funções vinculadas dinamicamente e estaticamente. Normalmente, as bibliotecas incluem funções gerais de processamento, mas em algumas situações, elas incluem funcionalidade que é essencial para o driver.

As bibliotecas são essenciais para determinar se o driver está em conformidade com as regras de interface. Por exemplo, sem código de biblioteca, um driver pode parecer ter perdido uma chamada necessária incluída na biblioteca. Ou a biblioteca pode incluir uma chamada que o driver duplica, resultando em um erro de repetição, como liberar um bloqueio duas vezes.

Para incluir uma biblioteca na verificação de um driver, o SDV deve primeiro processar a biblioteca para prepará-la para uso na verificação do driver.

O SDV tenta detectar e processar automaticamente todas as bibliotecas das quais o driver depende, mas como ele não sabe o local de alguns arquivos de origem da biblioteca, ele não pode processar automaticamente essas bibliotecas e incluí-las na verificação do driver. Para garantir que o SDV forneça a análise mais precisa para o driver, você deve adicionar manualmente as bibliotecas que o driver referencia ao cache da biblioteca do SDV clicando na guia Bibliotecas e selecionando Adicionar Biblioteca para processar as bibliotecas. Se você estiver executando na linha de comando, poderá adicionar uma biblioteca executando o sdv com o comando /lib no projeto de biblioteca.

Depois que o SDV processa uma biblioteca, ele mantém seus arquivos de processamento para essa biblioteca e inclui automaticamente o código da biblioteca em verificações de todos os drivers que exigem a biblioteca. Você não precisa reprocessar a biblioteca, a menos que o código da biblioteca seja alterado. Para obter instruções sobre como reprocessar uma biblioteca, consulte Reprocessando uma biblioteca.

Esta seção inclui:

Processando uma biblioteca

Reprocessando uma biblioteca

Comentários

O SDV inclui arquivos de biblioteca processados para bibliotecas do sistema. Você não precisa direcionar o SDV para processar essas bibliotecas. Quando o SDV detecta que um driver depende dessas bibliotecas, ele usa seus arquivos processados para essas bibliotecas sem exibir uma mensagem de aviso. Para obter informações sobre os requisitos de biblioteca, consulte Determinar se o Verificador de Driver Estático dá suporte ao driver ou à biblioteca.