Regola WdfSpinLockRelease (kmdf)
La regola WdfSpinLockRelease specifica che le chiamate a WdfSpinLockAcquire e WdfSpinLockRelease vengono usate in modo bilanciato all'interno di una funzione di callback degli eventi KMDF. Quando viene restituita la funzione di callback dell'evento KMDF, il driver non deve contenere l'oggetto di blocco spin del framework ottenuto da una chiamata precedente a WdfSpinLockAcquire.
Modello di driver: KMDF
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire Static Driver Verifier e specificare la regola WdfSpinLockRelease . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
Per altre informazioni, vedere Using Static Driver Verifier to Find Defects in Drivers.For more information, see Using Static Driver Verifier to Find Defects in Drivers. |
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