Partilhar via

Analisando um driver usando ferramentas de análise e verificação de código

As ferramentas de análise e verificação de código podem ajudar a melhorar a estabilidade e a confiabilidade do seu driver analisando sistematicamente o código-fonte. As ferramentas de análise e verificação de código podem detetar erros que são perdidos pelo compilador e pelo teste de tempo de execução convencional. Além disso, eles podem determinar se o driver interage corretamente com o kernel do sistema operacional Windows. Usando o Microsoft Visual Studio e o Windows Driver Kit (WDK), você pode configurar as ferramentas de análise e verificação de código para serem executadas como parte do processo de compilação ou pode agendar as ferramentas para analisar seu driver em um horário predeterminado.

Ferramenta de análise de código C/C++ para drivers do Windows

A versão Windows 8 do WDK fornece aprimoramentos para a ferramenta de análise de código C/C++ incluída no Visual Studio. Especificamente, o WDK fornece um módulo de driver especializado que é projetado para detetar erros no código do driver de modo kernel. Este módulo de driver é integrado na ferramenta de análise de código C/C++.

Quando usar: Você pode executar a ferramenta de análise de código C/C++ para drivers muito cedo no ciclo de desenvolvimento, assim que o código for compilado corretamente.

Para obter informações sobre a ferramenta de análise de código no Visual Studio, consulte:

Nota Em versões anteriores do WDK, o módulo específico do driver para análise de código fazia parte de uma ferramenta autônoma chamada PREfast for Drivers (PFD). O PREfast for Drivers também foi integrado ao ambiente WDK Build, como parte do Microsoft Automated Code Review (OACR).

Verificador de driver estático

Static Driver Verifier (SDV) é uma ferramenta de verificação estática que analisa sistematicamente o código-fonte dos drivers de modo kernel do Windows. SDV determina se o driver interage corretamente com o kernel do sistema operacional Windows. O SDV pode ser iniciado a partir do menu Driver no Visual Studio ou da janela Prompt de Comando do Visual Studio.

Quando usar: Execute o Verificador de Driver Estático no início do ciclo de desenvolvimento em drivers que compilam corretamente. Execute o Verificador de Driver Estático antes de iniciar o ciclo de teste.

Para obter informações sobre o Verificador de Driver Estático, consulte:

  • Last updated on