Partager via


Exemples d’outils

Les exemples de pilotes de ce répertoire contiennent des erreurs de code intentionnelles conçues pour afficher les capacités et fonctionnalités du Vérificateur de pilotes statiques (SDV).

SDV est un outil de vérification statique qui analyse systématiquement le code source des pilotes en mode noyau Windows. SDV est inclus dans le Kit de pilotes Windows (WDK) et peut être exécuté à partir de Microsoft Visual Studio.

Échantillon Descriptif
DV-FailDriver-WDM Cet exemple montre comment DV peut trouver des erreurs dans un pilote WDM.
SDV-FailDriver-KMDF Cet exemple montre comment SDV peut trouver des erreurs dans un pilote KMDF.
SDV-FailDriver-NDIS Cet exemple montre comment SDV peut trouver des erreurs dans un pilote NDIS.
SDV-FailDriver-STORPORT Cet exemple montre comment SDV peut trouver des erreurs dans un pilote Storport.
SDV-FailDriver-WDM Cet exemple montre comment SDV peut trouver des erreurs dans un pilote WDM.