Condividi tramite

Regola SpinLockDpr (ndis)

  • Articolo

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:
  1. Prepara il codice (usa dichiarazioni di tipo ruolo).
  2. Esegui Driver Verifier statico.
  3. Visualizza e analizza i risultati.

Per altre informazioni, vedere Uso del verificatore driver statico per trovare i difetti nei driver.

Si applica a

NdisAcquireSpinLockNdisAllocateSpinLockNdisDprAcquireSpinLockNdisDprReleaseLockNdisReleaseSpinLock