原始程式碼窗格中的檔案

只有在包含檔案的程式代碼涉及造成或偵測規則違規時，才會出現在 [原始碼 ] 窗格中。 因此，不同的檔案會出現在視窗中，以取得相同驅動程式的不同規則違規。

下列類型的檔案會出現在原始程式碼窗格中：

驅動程式來源檔案
驅動程式的來源檔案，以及它使用的連結庫，與規則違規有關。 這個檔案群組包含 C 檔案和頭檔。

規則來源檔案 （\* .slic ）
驗證中靜態驅動程式驗證程序規則的來源檔案。 此程式代碼是以介面檢查規格語言 （SLIC） 撰寫，這是為了此目的而開發的簡單語言。

sdv-harness.c
驗證中規則之 SDV 作業系統模型 的來源檔案。