KsFilterMutex, règle ()
La règle KsFilterMutex spécifie qu’un pilote miniport KS acquiert et libère le mutex de filtre dans la séquence correcte.
- Un pilote miniport KS ne peut pas obtenir le mutex de filtre de manière récursive.
- Un thread ne doit pas libérer le mutex de filtre sans l’acquérir en premier.
Modèle de pilote : KS
Vérification des bogues trouvées avec cette règle : Vérification des bogues 0xC4 : DRIVER_VERIFIER_DETECTED_VIOLATION (0x0008100A )
Comment tester
| Au moment de l'exécution |
|---|
Pour vérifier cette règle, ouvrez une fenêtre d’invite de commandes. Entrez une commande Driver Verifier et spécifiez /domain ks. Par exemple : Pour plus d’informations, consultez Type de débogage. |
vérificateur /domain ks [options] /driver< yourdriver >