Regola WdfSpinlock (kmdf)
La regola WdfSpinlock specifica che le chiamate al metodo WdfSpinLockAcquire vengono usate nell'alternanza rigorosa con WdfSpinlockRelease. Alla fine di qualsiasi routine di callback kmDF, il driver non deve contenere l'oggetto spinlock del framework ottenuto da una chiamata precedente a WdfSpinLockAcquire.
Modello di driver: KMDF
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola WdfSpinlock . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
Per altre informazioni, vedere Uso del verificatore driver statico per trovare i difetti nei driver. |
Si applica a
Commenti e suggerimenti
Presto disponibile: nel corso del 2024 verranno dismessi i problemi di GitHub come meccanismo di feedback per il contenuto e verranno sostituiti con un nuovo sistema di feedback. Per altre informazioni, vedere: https://aka.ms/ContentUserFeedback.
Invia e visualizza il feedback per