重新处理库

通常需要处理驱动程序只需要一次的库的代码。 但是,在以下情况下,需要再次处理库:

  • 添加了库。 如果驱动程序代码中的更改需要 SDV 尚未处理的库,则必须处理该库。

  • 库更改。 如果代码在驱动程序所需的库中或其中一个库所需的库中发生了更改,则必须重新处理受更改影响的所有库。

  • 删除已处理的库。 如果从库缓存中删除了所有库,请使用“”选项卡上的“删除库”按钮或在 MSBuild 的库目录中运行 /clean 选项。

如果出于任何原因无法处理所需的库,仍可以运行验证,但结果不太可靠。

重新处理库

  1. 启动静态驱动程序验证程序。 在 Visual Studio 的“ 驱动程序 ”菜单中,单击“ 启动静态驱动程序验证程序...”
  2. 在“ ”选项卡上,单击“ 清理”。
  3. 单击“ ”选项卡,然后单击“ 添加库 ”以添加库。
  4. 导航到库目录并选择库的项目文件。

重新处理所有库

  1. 启动静态驱动程序验证程序。 在 Visual Studio 的“ 驱动程序 ”菜单中,单击“ 启动静态驱动程序验证程序...”
  2. 单击“ ”选项卡以选择库 (或库) ,然后单击“ 删除库 ”以从缓存中删除库。
  3. 对于需要重新处理的每个库,请单击“ 添加库”。
  4. 导航到库目录并选择库的项目文件。
  5. 重复这些步骤,为驱动程序使用的每个库添加和选择项目文件。

还可以使用 /clean 和 /lib 参数选项在 MSBuild 命令中重新处理库。 有关详细信息,请参阅 静态驱动程序验证程序命令 (MSBuild)