静态驱动程序验证器规则

验证规则定义了在驱动程序与作系统的内核接口之间正确交互的要求。 这些规则以接口检查规范语言(SLIC)编写,这是由Microsoft研究为此目的明确开发的简单语言。