静的ドライバー検証ツールとは
静的ドライバー検証ツール (SDV) は、コンパイル時に実行される静的検証ツールです。 ソース コードをシンボル的に実行し、ドライバー コード内のパスを調べ、オペレーティング システムの状態とドライバーの初期状態に関する想定を可能な限り少なくします。 その結果、SDV は、従来のテストでは見逃されているパスでコードを実行できます。
SDV には、ドライバーとオペレーティング システム カーネル間の適切なインタラクションを定義するル―ルのセットが含まれています。 検証中、SDV は、ドライバー コードと、使用ライブラリ コードの適用可能な分岐をすべて調べ、ドライバーがルールに違反していることを証明しようとします。 SDV がルールの証明に失敗した場合は、ドライバーがルールに準拠し、検証に合格したことを報告します。
このセクションには、次が含まれます。
フィードバック
https://aka.ms/ContentUserFeedback。
近日公開予定: 2024 年を通じて、コンテンツのフィードバック メカニズムとして GitHub イシューを段階的に廃止し、新しいフィードバック システムに置き換えます。 詳細については、以下を参照してください:フィードバックの送信と表示