許多驅動程式相依於動態和靜態連結的函式庫。 一般而言，程式庫包含一般處理函式，但在某些情況下，它們會包含驅動程式不可或缺的功能。
函式庫對於判斷驅動程式是否符合介面規則至關重要。 例如，如果沒有程式庫程式代碼，驅動程式可能會遺失程式庫中包含的必要呼叫。 或者，程序庫可能包含驅動程式重複調用的功能，這會引發重複性錯誤，例如導致鎖定被釋放兩次。
若要在驅動程式的驗證中包含程式庫，SDV 必須先 處理程式庫 ，以準備用於驗證驅動程式。
SDV 會嘗試自動偵測並處理驅動程式所相依的所有程式庫，但由於不知道某些程式庫來源檔案的位置，因此無法自動處理這些程式庫，並將其包含在驅動程式驗證中。 若要確保 SDV 為您的驅動程式提供最準確的分析，您應該按一下函式庫索引標籤，然後選取新增函式庫來處理這些程式庫，手動將驅動程式所參考的任何程式庫新增至 SDV 的程式庫快取。 如果您在命令行中運行，您可以通過對庫項目運行 sdv 和 /lib 命令來添加庫。
SDV 處理程式庫之後，它會保留該程式庫的處理檔案，並自動將程式庫程式代碼包含在需要程式庫的所有驅動程式的驗證中。 除非程式庫程式碼變更，否則您不需要重新處理程式庫。 如需重新處理程式庫的指示，請參閱 重新處理程式庫。
本節包含：
批注
SDV 包含系統程式庫的已處理程式庫檔案。 您不需要指示 SDV 來處理這些程式庫。 當 SDV 偵測到驅動程式相依於這些程式庫時，它會針對這些程式庫使用其已處理的檔案，而不會顯示警告訊息。 如需連結庫需求的相關資訊，請參閱 判斷靜態驅動程式驗證器是否支援您的驅動程式或連結庫。