Processamento de biblioteca no Verificador de Driver 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 funcionalidades integrais ao 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, causando 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 todas as bibliotecas que seu driver referencia ao cache de 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 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 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 da biblioteca, consulte Determinando se o Verificador de Driver Estático dá suporte ao driver ou à biblioteca.