Condividi tramite

Regola SpinLockBalanced (ndis)

  • Articolo

La regola SpinLockBalanced verifica che il numero di chiamate alle funzioni che acquisiscono un SpinLock siano uguali al numero di chiamate alle funzioni che rilasciano lo stesso SpinLock.

Modello di driver: NDIS

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola SpinLockBalanced .

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 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

NdisAcquireSpinLockNdisDprAcquireSpinLockNdisDprReleaseSpinLockNdisReleaseSpinLock