Partilhar via


Exemplos de ferramentas

Os exemplos de driver neste diretório contêm erros de código intencionais que têm como objetivo mostrar as capacidades e funcionalidades do Verificador de Driver Estático (SDV).

SDV é uma ferramenta de verificação estática que analisa sistematicamente o código-fonte dos drivers de modo kernel do Windows. O SDV está incluído no Kit de Driver do Windows (WDK) e pode ser executado a partir do Microsoft Visual Studio.

Exemplo Descrição
DV-FailDriver-WDM Este exemplo demonstra como o DV pode encontrar erros em um driver WDM.
SDV-FailDriver-KMDF Este exemplo demonstra como o SDV pode encontrar erros em um driver KMDF.
SDV-FailDriver-NDIS Este exemplo demonstra como o SDV pode encontrar erros em um driver NDIS.
SDV-FailDriver-STORPORT Este exemplo demonstra como o SDV pode encontrar erros em um driver Storport.
SDV-FailDriver-WDM Este exemplo demonstra como o SDV pode encontrar erros em um driver WDM.