Regola SpinlockRelease (kmdf)
La regola SpinlockRelease specifica che le chiamate a KeAcquireSpinLock, KeAcquireSpinLockRaiseToDpc e KeReleaseSpinLock vengono usate in modo bilanciato all'interno di un callback kmDF. Alla fine di qualsiasi routine di callback kmDF, il driver non deve contenere il blocco di rotazione.
Modello di driver: KMDF
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola SpinlockRelease . 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
KeAcquireSpinLockKeAcquireSpinLockRaiseToDpcKeReleaseSpinLock
Commenti e suggerimenti
Presto disponibile: Nel corso del 2024 verranno gradualmente disattivati i problemi di GitHub come meccanismo di feedback per il contenuto e ciò verrà sostituito con un nuovo sistema di feedback. Per altre informazioni, vedere https://aka.ms/ContentUserFeedback.
Invia e visualizza il feedback per