Go 分析框架：由 Go 團隊提供的模組化靜態分析

總覽

Go 分析框架定義了一個通用的 Analyzer 介面，讓開發者能夠編寫可由 vet、文字編輯器、建置系統及自訂 linter 等驅動程式使用的模組化靜態分析。

Analyzer 類型

Analyzer 靜態地描述一個分析函式。它包含名稱、文件、旗標集、Run 函式、RunDespiteErrors、ResultType、Requires 依賴以及 FactTypes 欄位。Run 函式接收一個 *Pass 並回傳 interface{} 結果和一個錯誤。Validate 函式會檢查 Requires 圖是否無環、事實與結果類型是否唯一，以及 Run 是否非 nil。

Pass 類型

Pass 表示一個單位的工作：將一個 Analyzer 應用於一個 Go 套件。它提供檔案集合、語法樹、類型資訊以及用於回報診斷的輔助方法。ResultOf map 儲存來自所需分析器的結果。Reportf 與 ReportRangef 輔助函式會建立帶有位置、可選類別及訊息的 Diagnostic 物件。Pass 還提供 ExportObjectFact、ImportObjectFact、ExportPackageFact 和 ImportPackageFact，以在套件間共享事實。

事實與模組化分析

事實是中間且可序列化的資訊片段，分析可以將其附加到 types.Object 或套件上。它們啟用了分離編譯風格的分析：一個分析器可以匯出事實，供後續的分析器（即使位於不同位址空間）透過驅動程式匯入。事實類型必須是指標，並以 gob 編碼；它們應該是無狀態且具決定性，以便在內容可定址快取中運作。printf 檢查器透過記錄哪些函式委派給 fmt.Printf，並重複使用該事實來檢查其他套件的呼叫，來說明這一點。

測試 Analyzer

analysistest 子套件透過在 testdata 檔案上執行 Analyzer，並透過原始碼中的 "// want" 註解驗證預期的診斷與事實，來協助測試 Analyzer。這提供了一種輕量級的方式來斷言正確性，而無需構建完整的驅動程式。

獨立指令

singlechecker 與 multichecker 子套件簡化了建立執行單個或多個分析器的命令列工具。典型的單一分析器指令如下：

package main

import ( "golang.org/x/tools/go/analysis/passes/findcall" "golang.org/x/tools/go/analysis/singlechecker" )

func main() { singlechecker.Main(findcall.Analyzer) }

多重檢查器指令僅需將 *Analyzer 的切片傳遞給 multichecker.Main。

生態系統使用

評論者指出，該框架已被許多 linter 使用（請參見 golang.org/x/tools/go/analysis 的匯入圖）。一位使用者報告稱，為 SpiceDB 定義自訂分析器時取得成功，強調該框架減少了對部落知識的需求並加快了程式碼審查。另一則評論詢問這些原始是否可用於構建更廣泛的架構 linter，顯示出對更高層次檢查的興趣。進一步的評論讚揚 Go 團隊在工具方面對人類和代理開發的關注，並引用個人專案利用建置標籤和 testscript 進行有針對性的測試。

這些觀察證實，分析套件既是現有工具（如 vet）也是使用者自訂檢查器的可重複使用基礎，支援 Go 生態系統中的模組化、事實驅動靜態分析。