[Source Code]\(ソース コード\) ウィンドウでのファイル

ファイルが [ソース コード] ウィンドウに表示されるのは、含まれているコードがルール違反の原因または検出に関係している場合のみです。 その結果、同じドライバーによって異なるルール違反が発生すると、ウィンドウに異なるファイルが表示されます。

[ソース コード] ウィンドウには、次の種類のファイルが表示されます。

ドライバ ソース ファイル
ルール違反に関係するドライバーのソース ファイルと使用するライブラリのソース ファイル。 このファイル グループには、C ファイルとヘッダー ファイルが含まれます。

ルール ソース ファイル (\* .slic )
検証での静的ドライバー検証ルール ソース ファイル。 このコードは、この目的のために開発された単純な言語であるインターフェイスチェック (SLIC) の仕様言語で記述されています。

sdv-harness.c
検証のルールに対応する SDV オペレーティング システム モデルのソース ファイル。