Exemplos de ferramentas
Os exemplos de driver neste diretório contêm erros de código intencionais projetados para mostrar os recursos e os recursos do Verificador de Driver Estático (SDV).
O SDV é uma ferramenta de verificação estática que analisa sistematicamente o código-fonte dos drivers do modo kernel do Windows. O SDV está incluído no WDK (Kit de Driver do Windows) e pode ser executado no Microsoft Visual Studio.
Amostra | 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 do Storport. |
SDV-FailDriver-WDM | Este exemplo demonstra como o SDV pode encontrar erros em um driver WDM. |