静的ドライバー検証ツールの出力ファイル

SDV では、さまざまな種類の出力ファイルと結果ファイルが生成されます。 このセクションでは、ファイルとその使用方法について説明します。

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

Command-Line Output

Sdv-map.h

SDV 検証の結果を評価するときは、すべての出力を慎重に調べて、エラーを調査する必要があります。