只有當檔案所包含的程式碼涉及導致或偵測規則違規時，檔案才會出現在 [ 原始程式碼 ] 窗格中。 因此，同一驅動程式違反不同規則的視窗中會出現不同的檔案。
下列類型的檔案會出現在原始程式碼窗格中：
驅動程式來源檔案
驅動程式及其使用的程式庫的原始檔，這些檔案涉及規則違規。 這組檔案包括 C 檔案和頭檔。
規則來源檔案 （\* .slic）
驗證中 靜態驅動程式驗證器規則 的來源檔案。 此程式碼是用介面檢查規格語言 （SLIC） 編寫的，這是一種為此目的開發的簡單語言。
sdv-harness.c
驗證中規則之 SDV 作業系統模型 的來源檔案。