Regola SpinLockSafe (storport)

  • Articolo

Questa regola verifica che le routine IoStartNextPacket e IoCompleteRequest non vengano chiamate mentre si tiene premuto un blocco di rotazione. La regola tiene traccia del numero di blocchi di rotazione mantenuti in qualsiasi momento e, se tale numero non è 0 quando viene chiamata una delle due routine, il driver non riesce la regola.

Modello di driver: Storport

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola SpinLockSafe .

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

IoAcquireCancelSpinLockIoCompleteRequestIoReleaseCancelSpinLockIoStartNextPacketKeAcquireSpinLockKeAcquireSpinLockAtDpcLevelKeReleaseSpinLockKeReleaseSpinLockFromDpcLevel