静的ドライバー検証ツールの入力ファイル
SDV 検証エンジンは、検証への入力として次のファイルを受け取ります。 すべての検証に必要なものは、ドライバー ソース ファイルとオペレーティング システム モデル ファイルのみです。
ドライバー プロジェクト ファイルとソース コード。 プロジェクト ファイルがあるディレクトリで SDV を実行します。
オペレーティング システム モデル ファイル。 SDV は、検証用に選択したルールに基づいてオペレーティング システム モデル ファイルを選択してアセンブルします。
処理済みライブラリ ファイル。 ライブラリ ファイルが必要なのは、ドライバーがシステム以外のライブラリに依存する場合に限られます。 詳細と手順については、「静的ドライバー検証ツールでのライブラリ処理」を参照してください。
ルール リスト ファイル。 詳細については、「静的ドライバー検証ツール (MSBuild)」を参照してください。
静的ドライバー検証ツールのオプション ファイル。 SDV では、すべての SDV 検証に適用される設定を含むグローバル オプション ファイルが作成されます。 ドライバーのローカル オプション ファイルを作成するには、グローバル オプション ファイルをコピーします。 その後、グローバル オプション ファイルのコピーを編集して、ドライバーのローカル オプション ファイルを作成できます。
SDV 検証の結果を評価する場合は、入力ファイルを調査し、検証で使用されたすべての入力ファイルの正確性と完全性を確認することが非常に重要です。
このセクションでは、次のファイルについて詳しく説明します。