静的ドライバー検証ツールとは

  • [アーティクル]

静的ドライバー検証ツール (SDV) は、コンパイル時に実行される静的検証ツールです。 ソース コードをシンボル的に実行し、ドライバー コード内のパスを調べ、オペレーティング システムの状態とドライバーの初期状態に関する想定を可能な限り少なくします。 その結果、SDV は、従来のテストでは見逃されているパスでコードを実行できます。

SDV には、ドライバーとオペレーティング システム カーネル間の適切なインタラクションを定義するル―ルのセットが含まれています。 検証中、SDV は、ドライバー コードと、使用ライブラリ コードの適用可能な分岐をすべて調べ、ドライバーがルールに違反していることを証明しようとします。 SDV がルールの証明に失敗した場合は、ドライバーがルールに準拠し、検証に合格したことを報告します。

このセクションには、次が含まれます。

静的ドライバー検証ツールの概要

静的ドライバー検証ツールの概念

サポートされる ドライバー

静的ドライバー検証ツールの制限