通过

静态驱动程序验证程序的概念

  • 项目

本部分介绍特定于 SDV 的概念，包括：

静态驱动程序验证程序规则

操作系统模型

验证引擎

验证过程

通过和未通过验证

静态驱动程序验证程序中的库处理