Exemples d’outils

  • Article

Les exemples de pilotes dans ce répertoire contiennent des erreurs de code intentionnelles conçues pour afficher les fonctionnalités de Static Driver Verifier (SDV).

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

Exemple Description
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.