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