靜態驅動程式驗證器中的程式庫處理

許多驅動程式相依于函式的動態和靜態程式庫。 一般而言，程式庫包含一般處理函式，但在某些情況下，它們包含驅動程式不可或缺的功能。

程式庫是判斷驅動程式是否符合介面規則的必要條件。 例如，如果沒有程式庫程式碼，驅動程式可能會遺漏程式庫中包含的必要呼叫。 或者，程式庫可能包含驅動程式重複的呼叫，導致重複錯誤，例如釋放鎖定兩次。

若要在驅動程式的驗證中包含程式庫，SDV 必須先 處理程式庫 ，以準備它以用於驗證驅動程式。

SDV 會嘗試自動偵測及處理驅動程式相依的所有程式庫，但因為它不知道某些程式庫來源檔案的位置，所以無法自動處理這些程式庫，並將其包含在驅動程式驗證中。 若要確保 SDV 為您的驅動程式提供最精確的分析，您應該按一下 [連結 庫 ] 索引標籤，然後選取 [ 新增程式庫 ] 來處理程式庫，手動將驅動程式參考新增至 SDV 程式庫快取的任何程式庫。 如果您在命令列中執行，您可以對程式庫專案使用 /lib 命令執行 sdv 來新增程式庫。

在 SDV 處理程式庫之後，它會保留該程式庫的處理檔案，並在需要程式庫的所有驅動程式驗證中自動包含程式庫程式碼。 除非程式庫程式碼變更，否則您不需要重新處理程式庫。 如需重新處理程式庫的指示，請參閱 重新處理程式庫。

本節包括：

處理程式庫

重新處理程式庫

評論

SDV 包含系統程式庫的已處理程式庫檔案。 您不需要指示 SDV 處理這些程式庫。 當 SDV 偵測到驅動程式相依于這些程式庫時，它會針對這些程式庫使用其已處理的檔案，而不會顯示警告訊息。 如需程式庫需求的相關資訊，請參閱 判斷靜態驅動程式驗證器是否支援驅動程式或程式庫。