源代码窗格中的文件

仅当包含的文件涉及导致或检测规则冲突时，文件才会显示在 “源代码 ”窗格中。 因此，同一驱动程序发生不同规则冲突时，窗口中会显示不同的文件。

以下类型的文件显示在源代码窗格中：

驱动程序源文件
驱动程序及其使用的库的源文件（涉及规则冲突）。 此组文件包括 C 文件和头文件。

规则源文件 （\* .slic）
验证中的静态驱动程序验证程序规则的源文件。 此代码采用接口检查规范语言（SLIC）编写，这是为此开发的简单语言。

sdv-harness.c
验证中规则的 SDV 操作系统模型的 源文件。