Go ssa.NewProgram 怎样创建静态单赋值程序容器

ssa.NewProgram(fset, mode) 接收源码位置集合和 SSA 构建选项，返回一个空的 *ssa.Program。它提供后续包与函数表示的共享容器，不会自动扫描目录、读取模块，也不会立即生成函数体。已经拥有带类型信息的语法树时，可用这个入口统一组织后续 SSA 构造。

官方地址：https://pkg.go.dev/golang.org/x/tools/go/ssa

先给分析任务确定一个共享容器

设想一个静态分析工具已经取得若干 Go 包，现在要在它们之间解析函数和类型关系。这里的决策是：这些包是否属于同一次分析所共享的 SSA 上下文。Program 可以表示部分或完整程序，因此不用为了创建容器就加载所有业务模块。

若每个包都随意创建一个 Program，下游再希望把这些对象当作同一套表示使用，就会增加管理难度。更清楚的做法是先界定本次分析范围，再在同一容器中注册需要相互关联的包。这是分析工具内部的组织选择，与服务部署到哪种云平台没有直接关系。

用 FileSet 和构建选项初始化 Program

下面把“必须显式传入 FileSet”作为本工具的约定。返回的 error 来自封装自己的输入检查，原生 NewProgram 的返回值只有 Program，并不返回 error。

package analysis

import (
    "fmt"
    "go/token"

    "golang.org/x/tools/go/ssa"
)

// NewContainer 创建空的 SSA 容器；fset 应与后续提供的语法树一致。
func NewContainer(fset *token.FileSet) (*ssa.Program, error) {
    if fset == nil {
        return nil, fmt.Errorf("必须提供语法树对应的 FileSet")
    }
    // 模式 0 使用默认构建行为，不在这里加载源码或构建函数体。
    prog := ssa.NewProgram(fset, 0)
    return prog, nil
}

如果分析还没开始解析源码，可以先创建 token.NewFileSet()，并让后续解析使用它。如果语法树已经由上游加载器创建，就应沿用那批语法树对应的 FileSet；不能为了消除参数为空，临时造一个与语法位置无关的新集合。

BuilderMode 控制 SSA 构建期间的诊断、检查等行为。传入 0 适合说明默认初始化方式；它不是“加载全部包”或“检查所有源码”的开关。需要其他构建选项时，应针对工具目标选择，而不是把调试输出选项默认带到正常使用中。

注册包与构建函数体是不同职责

创建容器之后没有看到函数体，并不说明 NewProgram 没生效。官方接口将职责分开：NewProgram 创建空 Program；CreatePackage 根据已经完成类型检查且没有错误的文件语法树创建 SSA 包、填充成员映射；Package.Build 才承担函数体 SSA 构建工作。

手动组织输入时，需要为准备构建的包提供带类型信息的语法，并为其直接依赖注册相应的类型包；只有类型而没有语法的依赖，不应被当成已经拥有可分析函数体的源码包。空容器上调用 Build，也不会凭空发现缺失的工程文件。

按输入来源选择手动入口或辅助函数

输入来源会影响选择。若工具自己控制解析、类型检查和依赖登记，直接使用 NewProgram 可以清晰掌握容器建立的位置。代价是必须自己维护这些输入的一致性，不能只传一组 parser 生成的 AST，就认为足够构造可靠的 SSA。

若上游已经采用 go/packages，通常更适合评估 ssautil.Packages。该辅助函数接收用 LoadSyntax 或 LoadAllSyntax 模式从源码加载的包，为初始包及其依赖建立 SSA 对象。它同样把函数体构建留到后续调用，且初始包若有类型错误，对应结果可能为 nil。

辅助函数不是另一套分析语义，而是减少手工接线的入口。不要为了显式出现 NewProgram，就在辅助函数返回的 Program 旁边再创建一个新空容器，然后把它当成已注册那些包的容器。

把容器边界落实到分析代码

可以将 Program、它的 FileSet 及本次需要分析的包保存在同一个任务上下文中。任务入口负责创建或取得容器；下游规则消费这套对象。若读取来自不同加载调用的类型信息，还需注意它们的类型身份不能随意混用，不能仅凭包路径文字相同就视为同一批类型对象。

构建范围也有成本：只研究单包函数时，不必把全部源码依赖的函数体都作为默认目标；进行更广范围分析时，再扩大准备的数据。没有实际测量，不能承诺某种容器划分能节省多少内存或缩短多少耗时。这里的示例未运行，不包含线上结果或基准数字。

常见问题：NewProgram 会执行源码里的 main 吗？它建立静态表示容器，不运行被分析程序。mode 能指定源码目录吗？不能，源码加载由其他入口处理。AllPackages 能找出磁盘上全部包吗？它返回通过该 Program 创建的包，顺序未指定。只拿到了 AST 能直接交给 CreatePackage 吗？应先准备正确、一致的类型检查信息，普通解析结果并不满足全部前提。

创建 SSA 程序容器的实际落点，是让位置、类型输入、包对象和构建范围拥有明确的归属。NewProgram 本身很短，后续能否得到可用的分析对象，取决于调用方是否把这些上下文准备完整。

参考：NewProgram 与 Program 官方文档；ssautil.Packages 输入约定；包加载与类型身份约定。