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

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

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

コマンド ラインの出力

Sdv-map.h

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