Compartilhar via

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

  • Artigo

As ferramentas de análise e verificação de código podem ajudar a melhorar a estabilidade e a confiabilidade do driver analisando sistematicamente o código-fonte. As ferramentas de análise e verificação de código podem detectar erros que são perdidos pelo compilador e por testes de runtime convencionais. 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 WDK (Kit de Driver do Windows), você pode configurar as ferramentas de análise e verificação de código para serem executadas como parte do processo de build ou agendar as ferramentas para analisar o driver em um momento 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 projetado para detectar erros no código do driver no modo kernel. Este módulo de driver é integrado à ferramenta de Análise de Código C/C++.

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

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

Nota Nas 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 de Build do WDK, como parte da OACR (Revisão automatizada de código) da Microsoft.

Verificador de Driver Estático

O SDV (Verificador de Driver Estático) é uma ferramenta de verificação estática que analisa sistematicamente o código-fonte dos drivers do modo kernel do Windows. O SDV determina se o driver interage corretamente com o kernel do sistema operacional Windows. O SDV pode ser iniciado no menu Driver no Visual Studio ou na 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 são compilados 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: