静的ドライバー検証ツールでのライブラリ処理
多くのドライバーは、関数の動的および静的にリンクされたライブラリに依存しています。 通常、ライブラリには一般的な処理関数が含まれますが、状況によっては、ドライバーに不可欠な機能が含まれます。
ライブラリは、ドライバーがインターフェイス規則に準拠しているかどうかを判断するために不可欠です。 たとえば、ライブラリ コードがないと、ドライバーがライブラリに含まれている必要な呼び出しを見落としているように見える場合があります。 または、ライブラリにドライバーが重複する呼び出しが含まれている可能性があります。これにより、ロックを 2 回解放するなど、繰り返しエラーが発生します。
ドライバーの検証にライブラリを含めるには、SDV は最初 に ライブラリ を処理 して、ドライバーの検証に使用できるように準備する必要があります。
SDV は、ドライバーが依存するすべてのライブラリを自動的に検出して処理しようとしますが、一部のライブラリ ソース ファイルの場所がわからないため、これらのライブラリを自動的に処理してドライバーの検証に含めることはできません。 SDV でドライバーの最も正確な分析が提供されるようにするには、 [ライブラリ] タブをクリックし、 [ライブラリの追加] を選択してライブラリを処理することで、ドライバー参照を SDV のライブラリ キャッシュに手動で追加する必要があります。 コマンド ラインで実行している場合は、ライブラリ プロジェクトに対して /lib コマンドを使用して sdv を実行してライブラリを追加できます。
SDV はライブラリを処理した後、そのライブラリの処理ファイルを保持し、ライブラリを必要とするすべてのドライバーの検証にライブラリ コードを自動的に含めます。 ライブラリ コードが変更されない限り、ライブラリを再処理する必要はありません。 ライブラリの再処理の手順については、「ライブラリの再処理」を参照してください。
このセクションには、次が含まれます。
コメント
SDV には、システム ライブラリ用の処理済みライブラリ ファイルが含まれています。 これらのライブラリを処理するために SDV を指示する必要はありません。 SDV は、ドライバーがこれらのライブラリに依存していることを検出すると、警告メッセージを表示せずに、これらのライブラリの処理されたファイルを使用します。 ライブラリの要件については、「静的ドライバー検証ツールがドライバーまたはライブラリをサポートしているかどうかを判断する」を参照してください。