PagedCode ルール (storport)
このルールでは、PAGED_CODE マクロが呼び出されたときに、ドライバーがIRQL < DISPATCH_LEVELにあることを確認します。 IRQL >= DISPATCH_LEVEL で実行されるコードは、ページ フォールトの原因になることを回避するため、非ページ メモリ内に存在する必要があります。
ドライバー モデル: Storport
テスト方法
コンパイル時 |
---|
静的ドライバー検証ツールを実行し、PagedCode ルールを指定します。 コードの分析を実行するには、次の手順に従います。詳細については、「静的ドライバー検証ツールを使用したドライバーの欠陥の検出」を参照してください。 |