FileObjectConfigured rule (kmdf)
La règle FileObjectConfigured spécifie qu’un appel à la méthode WdfRequestGetFileObject est précédé d’un appel à WdfDeviceInitSetFileObjectConfig.
Modèle de pilote : KMDF
Comment tester
Au moment de la compilation |
---|
Exécutez Static Driver Verifier et spécifiez la règle FileObjectConfigured . Utilisez les étapes suivantes pour exécuter l’analyse de votre code :
Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes. |