次の方法で共有

CancelTimerObject ルール (ndis)

  • [アーティクル]

CancelTimerObject ルールは、 NdisSetTimerObject と NdisCancelTimerObject を別の順序で呼び出すように指定します。 最終的な目標は、 MiniportHaltEx が終了時に、すべてのタイマー がキャンセルされていることを確認することです。

ルールでは、3 つの異なる状態が使用されます。 タイマーが設定または取り消されると、状態が変わります。 MiniportHaltEx の終了時に タイマーがまだ設定されている場合、ルールは欠陥を報告します。

ドライバーモデル: NDIS

テスト方法

コンパイル時

静的ドライバー検証 を実行し、 CancelTimerObject 規則を指定します。

コードの分析を実行するには、次の手順に従います。
  1. コードを準備します (ロール型宣言を使用します)。
  2. 静的ドライバー検証ツールを実行します。
  3. 結果を表示および分析します。

詳細については、 「静的ドライバー検証ツールを使用してドライバー の欠陥を見つける」を参照してください。