Nota
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare ad accedere o modificare le directory.
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare a modificare le directory.
La regola SpinLockDpr verifica l'uso corretto dell'interfaccia di blocco spin NDIS.
Questa regola specifica che le chiamate a NdisDprAcquireSpinLock vengono eseguite solo quando il blocco di rotazione si trova nello stato sbloccato. Questa regola verifica anche che il blocco spin venga rilasciato prima dell'uscita della routine del gestore miniport.
Modello di driver: NDIS
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola SpinLockDpr . 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
NdisAcquireSpinLockNdisAllocateSpinLockNdisDprAcquireSpinLockNdisDprReleaseLockNdisReleaseSpinLock