Processamento de biblioteca no verificador de driver estático

Muitos drivers dependem de bibliotecas de funções vinculadas dinâmica e estaticamente. Normalmente, as bibliotecas incluem funções gerais de processamento, mas em algumas situações, elas incluem funcionalidade que é parte integrante do driver.

As bibliotecas são essenciais para determinar se o driver está em conformidade com as regras da 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, causando um erro repetido, 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 detetar e processar automaticamente todas as bibliotecas das quais o driver depende, mas como não sabe o local de alguns arquivos de origem da biblioteca, 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 seu driver, você deve adicionar manualmente todas as bibliotecas que seu driver referenciar 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, você pode adicionar uma biblioteca executando sdv com o comando /lib no projeto de biblioteca.

Depois que o SDV processa uma biblioteca, ele retém seus arquivos de processamento para essa biblioteca e inclui automaticamente o código da biblioteca nas verificações de todos os drivers que exigem a biblioteca. Não é necessário 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 secção inclui:

Processando uma biblioteca

Reprocessamento de uma biblioteca

Comentários

SDV inclui arquivos de biblioteca processados para bibliotecas do sistema. Não é necessário direcionar o SDV para processar essas bibliotecas. Quando o SDV deteta 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 da biblioteca, consulte Determinando se o Verificador de Driver Estático suporta seu driver ou biblioteca.