SpinLockDpc-Regel (storport)
Diese Regel überprüft, ob auf einen Aufruf von KeAcquireSpinLockRaiseToDpc prompt ein Aufruf von KeReleaseSpinlock folgt. Wenn ein Treiber keAcquireSpinLock oder KeAcquireSpinLockRaiseToDpc vor dem Freigeben der Sperre erneut aufruft, schlägt die Regel fehl. Darüber hinaus muss der Treiber vor dem Beenden der Dispatch- oder Abbruchroutine die Spin-Sperre aufheben.
Treibermodell: Storport
So führen Sie einen Test durch
Beim Kompilieren: |
---|
Führen Sie static Driver Verifier aus, und geben Sie die SpinLockDpc-Regel an. Gehen Sie folgendermaßen vor, um Ihren Code zu analysieren:
Weitere Informationen finden Sie unter Verwenden der statischen Treiberüberprüfung, um Fehler in Treibern zu finden. |
Gilt für:
KeAcquireSpinLockKeAcquireSpinLockRaiseToDpcKeReleaseSpinLock
Feedback
https://aka.ms/ContentUserFeedback.
Bald verfügbar: Im Laufe des Jahres 2024 werden wir GitHub-Issues stufenweise als Feedbackmechanismus für Inhalte abbauen und durch ein neues Feedbacksystem ersetzen. Weitere Informationen finden Sie unterFeedback senden und anzeigen für