许多驱动程序依赖于函数的动态和静态链接库。 通常，这些库包括常规处理函数，但在某些情况下，它们包括驱动程序不可或缺的功能。
库对于确定驱动程序是否符合接口规则至关重要。 例如，如果没有库代码，驱动程序似乎错过了库中包含的必需调用。 或者，该库可能包含驱动程序重复的调用，从而导致重复错误，例如释放锁两次。
若要在驱动程序验证中包含库，SDV 必须先 处理该库 ，以准备它以用于验证驱动程序。
SDV 会尝试自动检测和处理驱动程序依赖的所有库，但由于它不知道某些库源文件的位置，因此它无法自动处理这些库并将其包含在驱动程序验证中。 为了确保 SDV 为您的驱动程序提供最准确的分析，您应该手动将驱动程序引用的任何库添加到 SDV 的库缓存中。请单击“库”选项卡，选择“添加库”来处理这些库。 如果在命令行中运行，可以通过对库项目使用 /lib 命令运行 sdv 来添加库。
SDV 处理库后，它会保留该库的处理文件，并自动包含库代码，以验证所有需要库的驱动程序。 除非库代码发生更改，否则无需重新处理库。 有关重新处理库的说明，请参阅 重新处理库。
本部分包括：
批注
SDV 包括系统库的已处理库文件。 无需指示 SDV 处理这些库。 当 SDV 检测到驱动程序依赖于这些库时，它会使用这些库的已处理文件而不显示警告消息。 有关库要求的信息，请参阅 确定静态驱动程序验证程序是否支持驱动程序或库。