govulncheck builds a static approximation of the call graph using Variable Type Analysis (VTA), which dynamically tabulates the set of interface method calls an

govulncheck builds a static approximation of the call graph using Variable Type Analysis (VTA), which dynamically tabulates the set of interface method calls and the set of concrete types that each interface value may hold, to discover the set of functions potentially reachable from main. (VTA is a refinement of Rapid Type Analysis (RTA), which holds only one set of concrete types for all interface values in the whole program.) The result should be more precise than the linker. See: - https://pkg.go.dev/golang.org/x/tools/go/callgraph/vta https://pkg.go.dev/golang.org/x/tools/go/callgraph/vta - https://pkg.go.dev/golang.org/x/tools/go/callgraph/rta https://pkg.go.dev/golang.org/x/tools/go/callgraph/rta