靜態驅動程式驗證器限制

本節說明 SDV 工具的一般限制、防止 SDV 正確解譯驅動程式程式碼的一些技術限制，以及 SDV 可以驗證的驅動程式特性。

本節包括：

判斷靜態驅動程式驗證器是否支援您的驅動程式或程式庫

靜態驅動程式驗證器一般工具和技術限制

使用 _analysis_assume 函式來隱藏 False 瑕疵

針對延後程序呼叫使用__sdv_save_request和__sdv_retrieve_request

使用__sdv_save_adapter_coNtext來追蹤配接器內容欄位