Set di regole varie (KMDF)
Usare queste regole per verificare che il driver segua correttamente un set generale di requisiti per la corretta gestione di oggetti dispositivo, chiavi e che il driver non effettua chiamate a DDI non appropriate per un driver non PnP o per un driver non FDO che non è un proprietario di criteri di alimentazione.
Contenuto della sezione
| Argomento | Descrizione |
|---|---|
La regola AccessHardwareKey specifica che un driver del bus non deve tentare di accedere alla chiave hardware di un dispositivo figlio da EvtChildListCreateDevice. |
|
La regola AddPdotoStaticChildlist specifica che per un dispositivo PDO la funzione framework WdfFdoAddStaticChild deve essere chiamata dopo che il driver chiama WdfPdoInitAllocate e WdfDeviceCreate correttamente. |
|
La regola ChildListConfiguration specifica che i driver che supportano l'enumerazione dinamica devono chiamare WdfFdoInitSetDefaultChildListConfig prima di chiamare la funzione WdfDeviceCreate . |
|
La regola Cleanup4CtlDeviceRegistered specifica che se un driver di Plug and Play (PnP) chiama WdfDeviceCreate per l'oggetto dispositivo di controllo, il driver deve registrare una delle funzioni di callback degli eventi necessarie. |
|
La regola NonFDONotPowerPolicyOwnerAPI specifica che se un driver non FDO non è un proprietario dei criteri di alimentazione, non è possibile chiamare determinate DDI. |
|
La regola NonPnPDrvPowerPolicyOwnerAPI specifica che i driver non PnP non possono chiamare determinati DDI correlati al risparmio energia. |
|
La regola UnSafeAllocatePool è una regola di sicurezza importante che verifica che un driver non usi DDI deprecati per allocare memoria. |
Per selezionare il set di regole Varie
Selezionare il progetto driver (con estensione vcxProj) in Microsoft Visual Studio. Dal menu Driver fare clic su Launch Static Driver Verifier....From the Driver menu, click Launch Static Driver Verifier....
Fare clic sulla scheda Regole . In Set di regole selezionare Varie.
Per selezionare il set di regole predefinito da una finestra del prompt dei comandi per gli sviluppatori di Visual Studio, specificare Miscellaneous.sdv con l'opzione /check . Ad esempio:
msbuild /t:sdv /p:Inputs="/check:Miscellaneous.sdv" mydriver.VcxProj /p:Configuration="Win8 Release" /p:Platform=Win32Per altre informazioni, vedere Using Static Driver Verifier to Find Defects in Drivers and Static Driver Verifier commands (MSBuild).