このルールでは、最初に KeAcquireInStackQueuedSpinLock を介してロックを取得せずに、ドライバーが KeReleaseInStackQueuedSpinLock を呼び出さないことが検証されます。
ドライバー モデル: Storport
テスト方法
| コンパイル時 |
|---|
静的ドライバー検証ツールを実行し、QueuedSpinLockRelease ルールを指定します。 コードの分析を実行するには、次の手順に従います。詳細については、「静的ドライバー検証ツールを使用したドライバーの欠陥の検出」を参照してください。 |
適用対象
KeAcquireInStackQueuedSpinLockKeReleaseInStackQueuedSpinLock