Partager via


Règle MiniportOnlyWdmDevice (kmdf)

La règle MiniportOnlyWdmDevice spécifie que les pilotes WDF ne doivent pas utiliser les fonctions IoCreateDevice et IoCreateDeviceSecure pour créer des objets de périphérique WDM nus. Cela provoquera le crash de l’ordinateur si quelqu’un essaie d’envoyer un IRP au périphérique WDM. Ceci est dû au fait que les entrées de dispatch IRP du périphérique sont définies sur des entrées spécifiques WDF, mais que le framework n’a pas créé de périphérique WDF. Cependant, les pilotes miniport peuvent utiliser les DDIs car les points d’entrée du dispatch des pilotes ne sont pas définis pour eux.

Driver model: KMDF

Comment tester

Au moment de la compilation

Exécutez Static Driver Verifier et spécifiez la règle MiniportOnlyWdmDevice.

Utilisez la procédure suivante pour exécuter une analyse de votre code :
  1. Préparez votre code (utilisez des déclarations de type de rôle).
  2. Exécutez Static Driver Verifier.
  3. Visualisez et analysez les résultats.

Pour plus d’informations, consultez Utilisation de Static Driver Verifier pour rechercher des défauts dans les pilotes.

S’applique à

WdfDriverCreateIoCreateDeviceIoCreateDeviceSecure