Regola WdfInterruptLock (kmdf)
La regola WdfInterruptLock specifica che le chiamate al metodo WdfInterruptAcquireLock vengono usate in stretta alternanza con chiamate a WdfInterruptReleaseLock. Inoltre, alla fine di qualsiasi routine di callback kmDF, il driver non deve contenere l'oggetto di blocco dello spin framework, ottenuto da una chiamata precedente a WdfInterruptAcquireLock.
Modello di driver: KMDF
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola WdfInterruptLock . 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. |