@shortlink-org/portolan 0.1.0

package/internal/gohttp/analyze.go

@@ -0,0 +1,2500 @@
+// Package gohttp reads outbound HTTP-shaped calls from Go source. Its syntax
+// analysis always works without loading dependencies; when a module can be
+// type-checked, an optional SSA/VTA pass adds source-backed dynamic call edges.
+// Every result points back to the source expression that proves it.
+package gohttp
+
+import (
+	"bytes"
+	"fmt"
+	"go/ast"
+	"go/parser"
+	"go/printer"
+	"go/token"
+	"io/fs"
+	"mime"
+	"net/url"
+	"os"
+	"path/filepath"
+	"sort"
+	"strconv"
+	"strings"
+	"unicode"
+
+	"github.com/shortlink-org/portolan/internal/wsdl"
+	"github.com/shortlink-org/portolan/plugins/openapi"
+)
+
+type Source struct {
+	File string
+	Line int
+}
+
+func (s Source) String() string {
+	if s.Line == 0 {
+		return s.File
+	}
+	return fmt.Sprintf("%s:%d", s.File, s.Line)
+}
+
+type Contract struct {
+	Protocol    string
+	API         string
+	External    string
+	Name        string
+	Summary     string
+	URL         string
+	Source      string
+	Operations  []openapi.Operation
+	SOAP        []SOAPOperation
+	MethodCalls map[string]openapi.Operation
+}
+
+type SOAPOperation struct {
+	ID        string
+	Interface string
+	Action    string
+	Request   string
+	Response  string
+	Version   string
+	Style     string
+	Binding   string
+	Endpoint  string
+	Faults    []string
+	Headers   []string
+}
+
+type Call struct {
+	Function    string
+	Source      Source
+	Protocol    string
+	Method      string
+	Path        string
+	Endpoint    string
+	Action      string
+	SOAPVersion string
+	Request     string
+	Response    string
+	API         string
+	ID          string
+	External    string
+	Contract    string
+	Conditions  []string
+	Chain       []string
+	URLTrace    []string
+	template    *callTemplate
+}
+
+type FlowGroup struct {
+	Function string
+	Calls    []Call
+	Source   Source
+	Callers  []string
+}
+
+type RootKind string
+
+const (
+	RootHTTP      RootKind = "http"
+	RootCallback  RootKind = "callback"
+	RootStartup   RootKind = "startup"
+	RootScheduled RootKind = "scheduled"
+)
+
+// RootFlow is a source-backed way execution enters a group of outbound calls
+// without going through provider selection. Provider endpoints retain their
+// richer branch model in EndpointFlow.
+type RootFlow struct {
+	Kind       RootKind
+	Method     string
+	Path       string
+	Handler    string
+	Label      string
+	Confidence string
+	Source     Source
+	Calls      []Call
+	Covered    []string
+}
+
+type EndpointFlow struct {
+	Method   string
+	Path     string
+	Handler  string
+	Source   Source
+	Branches []EndpointBranch
+}
+
+type EndpointBranch struct {
+	Condition string
+	Provider  string
+	Operation string
+	Function  string
+	Calls     []Call
+	Source    Source
+}
+
+type Result struct {
+	Calls               []Call
+	Contracts           []Contract
+	Flows               []FlowGroup
+	EndpointFlows       []EndpointFlow
+	RootFlows           []RootFlow
+	TypedCallGraph      bool
+	TypedCallGraphError string
+	Warnings            []string
+}
+
+type parsedFile struct {
+	abs       string
+	rel       string
+	dir       string
+	pkg       string
+	imports   map[string]string
+	node      *ast.File
+	generated bool
+}
+
+type constValue struct {
+	expr ast.Expr
+	file *parsedFile
+}
+
+type scanner struct {
+	root                string
+	fset                *token.FileSet
+	files               []*parsedFile
+	constants           map[string]constValue
+	contracts           []Contract
+	warnings            []string
+	functions           map[string]*functionDecl
+	methods             map[string][]string
+	soap                map[string][]soapWrapper
+	soapFns             map[string]bool
+	fields              map[string]fieldOrigin
+	fieldTypes          map[string][]endpointType
+	typedEdges          map[string][]localEdge
+	typedCallGraphError string
+}
+
+type functionDecl struct {
+	key  string
+	file *parsedFile
+	fn   *ast.FuncDecl
+}
+
+type localEdge struct {
+	target string
+	line   int
+	args   []ast.Expr
+}
+
+type callTemplate struct {
+	method   ast.Expr
+	endpoint ast.Expr
+}
+
+type fieldOrigin struct {
+	value       string
+	chain       []string
+	constructor string
+}
+
+type fieldSetter struct {
+	owner endpointType
+	field string
+	param int
+}
+
+type valuePart struct {
+	literal string
+	param   int
+	isParam bool
+}
+
+type soapWrapper struct {
+	function          string
+	name              string
+	arity             int
+	variadic          bool
+	action            []valuePart
+	request           int
+	response          int
+	endpoint          []valuePart
+	contentTypeAction bool
+	version           string
+}
+
+func Analyze(root string) (Result, error) {
+	s := &scanner{root: root, fset: token.NewFileSet(), constants: map[string]constValue{}, functions: map[string]*functionDecl{}, methods: map[string][]string{}, soap: map[string][]soapWrapper{}, soapFns: map[string]bool{}, fields: map[string]fieldOrigin{}, fieldTypes: map[string][]endpointType{}, typedEdges: map[string][]localEdge{}}
+	if err := s.read(); err != nil {
+		return Result{}, err
+	}
+	s.indexConstants()
+	s.indexFunctions()
+	s.indexConcreteFieldTypes()
+	s.indexFieldOrigins()
+	s.resolveFieldOriginsAtCallSites()
+	s.readContracts()
+	s.readWSDLContracts()
+	s.indexSOAPWrappers()
+
+	var calls []Call
+	for _, file := range s.files {
+		if file.generated {
+			continue
+		}
+		for _, decl := range file.node.Decls {
+			fn, ok := decl.(*ast.FuncDecl)
+			if !ok || fn.Body == nil {
+				continue
+			}
+			locals := s.localStrings(file, fn)
+			function := functionKey(file, fn)
+			s.walkStatements(file, function, fn.Body.List, nil, locals, &calls)
+		}
+	}
+
+	sort.Slice(calls, func(i, j int) bool {
+		if calls[i].Source.File != calls[j].Source.File {
+			return calls[i].Source.File < calls[j].Source.File
+		}
+		if calls[i].Source.Line != calls[j].Source.Line {
+			return calls[i].Source.Line < calls[j].Source.Line
+		}
+		return calls[i].ID < calls[j].ID
+	})
+	calls = uniqueCalls(calls)
+	sort.Strings(s.warnings)
+	directCalls := calls
+	flows := s.flowGroups(directCalls)
+	calls = callsSpecializedByFlows(directCalls, flows)
+	endpointFlows := s.endpointFlows(flows)
+	if s.endpointFlowsNeedTypedCalls(endpointFlows) && s.indexTypedCallEdges() {
+		flows = s.flowGroups(directCalls)
+		calls = callsSpecializedByFlows(directCalls, flows)
+		endpointFlows = s.endpointFlows(flows)
+	}
+	rootFlows := s.rootFlows(flows, endpointFlows)
+	return Result{Calls: calls, Contracts: s.contracts, Flows: flows, EndpointFlows: endpointFlows, RootFlows: rootFlows, TypedCallGraph: len(s.typedEdges) > 0, TypedCallGraphError: s.typedCallGraphError, Warnings: s.warnings}, nil
+}
+
+func (s *scanner) endpointFlowsNeedTypedCalls(flows []EndpointFlow) bool {
+	for _, flow := range flows {
+		for _, branch := range flow.Branches {
+			if len(branch.Calls) == 0 {
+				return true
+			}
+		}
+	}
+	return s.hasRouteAndProviderFactory()
+}
+
+func callsSpecializedByFlows(direct []Call, flows []FlowGroup) []Call {
+	specializedSources := map[string]bool{}
+	var out []Call
+	for _, flow := range flows {
+		for _, call := range flow.Calls {
+			specializedSources[call.Source.String()] = true
+			out = append(out, call)
+		}
+	}
+	for _, call := range direct {
+		if !specializedSources[call.Source.String()] {
+			out = append(out, call)
+		}
+	}
+	sort.Slice(out, func(i, j int) bool {
+		if out[i].Source.File != out[j].Source.File {
+			return out[i].Source.File < out[j].Source.File
+		}
+		if out[i].Source.Line != out[j].Source.Line {
+			return out[i].Source.Line < out[j].Source.Line
+		}
+		return out[i].ID < out[j].ID
+	})
+	return uniqueCalls(out)
+}
+
+func functionKey(file *parsedFile, fn *ast.FuncDecl) string {
+	name := fn.Name.Name
+	if fn.Recv != nil && len(fn.Recv.List) > 0 {
+		name = receiverName(fn.Recv.List[0].Type) + "." + name
+	}
+	if file.dir != "." && file.dir != "" {
+		name = file.dir + ":" + name
+	}
+	return name
+}
+
+func (s *scanner) indexFunctions() {
+	for _, file := range s.files {
+		if file.generated {
+			continue
+		}
+		for _, decl := range file.node.Decls {
+			fn, ok := decl.(*ast.FuncDecl)
+			if !ok || fn.Body == nil {
+				continue
+			}
+			key := functionKey(file, fn)
+			s.functions[key] = &functionDecl{key: key, file: file, fn: fn}
+			if fn.Recv != nil {
+				s.methods[fn.Name.Name] = append(s.methods[fn.Name.Name], key)
+			}
+		}
+	}
+}
+
+// indexConcreteFieldTypes records the concrete values assigned to receiver
+// fields by constructors and assembly code. A field may be declared as an
+// interface while its production implementation is supplied through a
+// composite literal, a direct assignment, or a setter:
+//
+//	client, err := transport.New(...)
+//	return &Connector{client: client}, nil
+//
+//	connector.SetClient(client)
+//
+// The assignment itself is compiler-checked evidence that the concrete type
+// implements the interface. Multiple observed implementations are retained so
+// callers can refuse to guess when the wiring is genuinely ambiguous.
+func (s *scanner) indexConcreteFieldTypes() {
+	for _, declaration := range s.functions {
+		locals := s.localConcreteTypes(declaration)
+		ast.Inspect(declaration.fn.Body, func(node ast.Node) bool {
+			switch value := node.(type) {
+			case *ast.CompositeLit:
+				s.indexCompositeFieldTypes(declaration, value, locals)
+			case *ast.AssignStmt:
+				s.indexAssignedFieldTypes(declaration, value, locals)
+			}
+			return true
+		})
+	}
+
+	setters := s.fieldSetters()
+	for _, declaration := range s.functions {
+		locals := s.localConcreteTypes(declaration)
+		ast.Inspect(declaration.fn.Body, func(node ast.Node) bool {
+			call, ok := node.(*ast.CallExpr)
+			if !ok {
+				return true
+			}
+			selector, ok := call.Fun.(*ast.SelectorExpr)
+			if !ok {
+				return true
+			}
+			root, ok := selector.X.(*ast.Ident)
+			if !ok {
+				return true
+			}
+			owner, ok := locals[root.Name]
+			if !ok {
+				return true
+			}
+			for _, setter := range setters[s.methodKey(owner, selector.Sel.Name)] {
+				if setter.param >= len(call.Args) {
+					continue
+				}
+				typ, ok := s.concreteExpressionType(declaration, call.Args[setter.param], locals)
+				if !ok || !s.typeHasMethods(typ) {
+					continue
+				}
+				key := fieldTypeKey(setter.owner, setter.field)
+				s.fieldTypes[key] = appendEndpointType(s.fieldTypes[key], typ)
+			}
+			return true
+		})
+	}
+	for key := range s.fieldTypes {
+		sort.Slice(s.fieldTypes[key], func(i, j int) bool {
+			if s.fieldTypes[key][i].dir != s.fieldTypes[key][j].dir {
+				return s.fieldTypes[key][i].dir < s.fieldTypes[key][j].dir
+			}
+			return s.fieldTypes[key][i].name < s.fieldTypes[key][j].name
+		})
+	}
+}
+
+func (s *scanner) indexCompositeFieldTypes(declaration *functionDecl, literal *ast.CompositeLit, locals map[string]endpointType) {
+	ownerType, ok := s.typeExpression(declaration.file, literal.Type)
+	if !ok {
+		return
+	}
+	for _, element := range literal.Elts {
+		field, ok := element.(*ast.KeyValueExpr)
+		if !ok {
+			continue
+		}
+		name, ok := field.Key.(*ast.Ident)
+		if !ok {
+			continue
+		}
+		typ, ok := s.concreteExpressionType(declaration, field.Value, locals)
+		if !ok || !s.typeHasMethods(typ) {
+			continue
+		}
+		key := fieldTypeKey(ownerType, name.Name)
+		s.fieldTypes[key] = appendEndpointType(s.fieldTypes[key], typ)
+	}
+}
+
+func (s *scanner) indexAssignedFieldTypes(declaration *functionDecl, assignment *ast.AssignStmt, locals map[string]endpointType) {
+	for index, left := range assignment.Lhs {
+		selector, ok := left.(*ast.SelectorExpr)
+		if !ok || index >= len(assignment.Rhs) {
+			continue
+		}
+		root, ok := selector.X.(*ast.Ident)
+		if !ok {
+			continue
+		}
+		owner, ok := locals[root.Name]
+		if !ok {
+			continue
+		}
+		typ, ok := s.concreteExpressionType(declaration, assignment.Rhs[index], locals)
+		if !ok || !s.typeHasMethods(typ) {
+			continue
+		}
+		key := fieldTypeKey(owner, selector.Sel.Name)
+		s.fieldTypes[key] = appendEndpointType(s.fieldTypes[key], typ)
+	}
+}
+
+// fieldSetters identifies the narrow setter shape that proves a field receives
+// one of the method's parameters. The concrete implementation is intentionally
+// resolved only at call sites; the interface-typed parameter itself proves no
+// implementation.
+func (s *scanner) fieldSetters() map[string][]fieldSetter {
+	out := map[string][]fieldSetter{}
+	for key, declaration := range s.functions {
+		receiver := receiverVariable(declaration.fn)
+		if receiver == "" {
+			continue
+		}
+		owner, ok := s.typeExpression(declaration.file, declaration.fn.Recv.List[0].Type)
+		if !ok {
+			continue
+		}
+		params := functionParams(declaration.fn)
+		paramAt := map[string]int{}
+		for index, name := range params {
+			if name != "" {
+				paramAt[name] = index
+			}
+		}
+		ast.Inspect(declaration.fn.Body, func(node ast.Node) bool {
+			assignment, ok := node.(*ast.AssignStmt)
+			if !ok {
+				return true
+			}
+			for index, left := range assignment.Lhs {
+				selector, ok := left.(*ast.SelectorExpr)
+				if !ok || index >= len(assignment.Rhs) {
+					continue
+				}
+				root, ok := selector.X.(*ast.Ident)
+				if !ok || root.Name != receiver {
+					continue
+				}
+				right, ok := assignment.Rhs[index].(*ast.Ident)
+				if !ok {
+					continue
+				}
+				param, ok := paramAt[right.Name]
+				if !ok {
+					continue
+				}
+				out[key] = append(out[key], fieldSetter{owner: owner, field: selector.Sel.Name, param: param})
+			}
+			return true
+		})
+	}
+	return out
+}
+
+func (s *scanner) localConcreteTypes(declaration *functionDecl) map[string]endpointType {
+	locals := map[string]endpointType{}
+	if declaration.fn.Recv != nil && len(declaration.fn.Recv.List) > 0 {
+		if typ, ok := s.typeExpression(declaration.file, declaration.fn.Recv.List[0].Type); ok {
+			for _, name := range declaration.fn.Recv.List[0].Names {
+				locals[name.Name] = typ
+			}
+		}
+	}
+	if declaration.fn.Type.Params != nil {
+		for _, field := range declaration.fn.Type.Params.List {
+			typ, ok := s.typeExpression(declaration.file, field.Type)
+			if !ok {
+				continue
+			}
+			for _, name := range field.Names {
+				locals[name.Name] = typ
+			}
+		}
+	}
+	ast.Inspect(declaration.fn.Body, func(node ast.Node) bool {
+		switch statement := node.(type) {
+		case *ast.AssignStmt:
+			if len(statement.Rhs) == 1 && len(statement.Lhs) > 1 {
+				resultTypes := s.expressionResultTypes(declaration, statement.Rhs[0], locals)
+				for index, left := range statement.Lhs {
+					name, ok := left.(*ast.Ident)
+					if ok && index < len(resultTypes) && s.typeHasMethods(resultTypes[index]) {
+						locals[name.Name] = resultTypes[index]
+					}
+				}
+				return true
+			}
+			for index, left := range statement.Lhs {
+				name, ok := left.(*ast.Ident)
+				if !ok || index >= len(statement.Rhs) {
+					continue
+				}
+				if typ, ok := s.concreteExpressionType(declaration, statement.Rhs[index], locals); ok && s.typeHasMethods(typ) {
+					locals[name.Name] = typ
+				}
+			}
+		case *ast.DeclStmt:
+			generic, ok := statement.Decl.(*ast.GenDecl)
+			if !ok {
+				return true
+			}
+			for _, raw := range generic.Specs {
+				spec, ok := raw.(*ast.ValueSpec)
+				if !ok || spec.Type == nil {
+					continue
+				}
+				typ, ok := s.typeExpression(declaration.file, spec.Type)
+				if !ok || !s.typeHasMethods(typ) {
+					continue
+				}
+				for _, name := range spec.Names {
+					locals[name.Name] = typ
+				}
+			}
+		}
+		return true
+	})
+	return locals
+}
+
+func (s *scanner) concreteExpressionType(declaration *functionDecl, expr ast.Expr, locals map[string]endpointType) (endpointType, bool) {
+	switch value := expr.(type) {
+	case *ast.ParenExpr:
+		return s.concreteExpressionType(declaration, value.X, locals)
+	case *ast.UnaryExpr:
+		return s.concreteExpressionType(declaration, value.X, locals)
+	case *ast.Ident:
+		typ, ok := locals[value.Name]
+		return typ, ok
+	case *ast.CallExpr:
+		results := s.expressionResultTypes(declaration, value, locals)
+		if len(results) > 0 {
+			return results[0], true
+		}
+	}
+	if literal := compositeLiteral(expr); literal != nil {
+		return s.typeExpression(declaration.file, literal.Type)
+	}
+	return endpointType{}, false
+}
+
+func (s *scanner) expressionResultTypes(declaration *functionDecl, expr ast.Expr, locals map[string]endpointType) []endpointType {
+	call, ok := expr.(*ast.CallExpr)
+	if !ok {
+		if typ, ok := s.concreteExpressionType(declaration, expr, locals); ok {
+			return []endpointType{typ}
+		}
+		return nil
+	}
+	target := s.localTarget(declaration, call.Fun)
+	callee := s.functions[target]
+	if callee == nil || callee.fn.Type.Results == nil {
+		return nil
+	}
+	var out []endpointType
+	for _, field := range callee.fn.Type.Results.List {
+		typ, ok := s.typeExpression(callee.file, field.Type)
+		if !ok {
+			typ = endpointType{}
+		}
+		count := len(field.Names)
+		if count == 0 {
+			count = 1
+		}
+		for range count {
+			out = append(out, typ)
+		}
+	}
+	return out
+}
+
+func (s *scanner) typeHasMethods(typ endpointType) bool {
+	if typ.name == "" {
+		return false
+	}
+	prefix := typ.name + "."
+	if typ.dir != "." && typ.dir != "" {
+		prefix = typ.dir + ":" + prefix
+	}
+	for key := range s.functions {
+		if strings.HasPrefix(key, prefix) {
+			return true
+		}
+	}
+	return false
+}
+
+func appendEndpointType(items []endpointType, value endpointType) []endpointType {
+	for _, item := range items {
+		if item == value {
+			return items
+		}
+	}
+	return append(items, value)
+}
+
+func fieldTypeKey(owner endpointType, field string) string {
+	return owner.dir + ":" + owner.name + "." + field
+}
+
+// indexFieldOrigins records where URL-shaped client fields are initialized.
+// The result is deliberately symbolic: configuration is commonly loaded at
+// runtime, but "Config.BaseURL" is still substantially better evidence than
+// the receiver expression "c.baseURL".
+func (s *scanner) indexFieldOrigins() {
+	for _, declaration := range s.functions {
+		locals := s.symbolicLocals(declaration)
+		ast.Inspect(declaration.fn.Body, func(node ast.Node) bool {
+			ret, ok := node.(*ast.ReturnStmt)
+			if !ok {
+				return true
+			}
+			for _, result := range ret.Results {
+				literal := compositeLiteral(result)
+				if literal == nil {
+					continue
+				}
+				typeName := receiverName(literal.Type)
+				for _, element := range literal.Elts {
+					field, ok := element.(*ast.KeyValueExpr)
+					if !ok {
+						continue
+					}
+					name, ok := field.Key.(*ast.Ident)
+					if !ok || !looksLikeURLName(name.Name) {
+						continue
+					}
+					value := s.symbolicValue(declaration, field.Value, locals, map[string]bool{})
+					if value == "" {
+						continue
+					}
+					label := typeName + "." + name.Name
+					s.fields[fieldKey(declaration.file, typeName, name.Name)] = fieldOrigin{value: value, chain: uniqueStrings([]string{value, displayFunction(declaration.key), label}), constructor: declaration.key}
+				}
+			}
+			return true
+		})
+	}
+}
+
+// resolveFieldOriginsAtCallSites replaces an intermediate constructor input
+// such as Params.BaseURL with the value that populates it at the unique call
+// site, for example connectionVal["url"]. Ambiguous call sites retain the
+// constructor-level origin instead of choosing one arbitrarily.
+func (s *scanner) resolveFieldOriginsAtCallSites() {
+	type candidate struct {
+		value  string
+		caller string
+	}
+	byField := map[string]map[string]candidate{}
+	for _, caller := range s.functions {
+		locals := s.symbolicLocals(caller)
+		ast.Inspect(caller.fn.Body, func(node ast.Node) bool {
+			call, ok := node.(*ast.CallExpr)
+			if !ok {
+				return true
+			}
+			target := s.localTarget(caller, call.Fun)
+			if target == "" {
+				return true
+			}
+			declaration := s.functions[target]
+			if declaration == nil || declaration.fn.Type.Params == nil {
+				return true
+			}
+			paramTypes := functionParamTypes(declaration.fn)
+			for key, origin := range s.fields {
+				if origin.constructor != target {
+					continue
+				}
+				container, field, ok := strings.Cut(origin.value, ".")
+				if !ok {
+					continue
+				}
+				for index, typ := range paramTypes {
+					if typ != container || index >= len(call.Args) {
+						continue
+					}
+					literal := compositeLiteral(call.Args[index])
+					if literal == nil {
+						continue
+					}
+					for _, element := range literal.Elts {
+						pair, ok := element.(*ast.KeyValueExpr)
+						if !ok || expression(pair.Key) != field {
+							continue
+						}
+						value := s.symbolicValue(caller, pair.Value, locals, map[string]bool{})
+						if value == "" || value == origin.value {
+							continue
+						}
+						if byField[key] == nil {
+							byField[key] = map[string]candidate{}
+						}
+						byField[key][value] = candidate{value: value, caller: displayFunction(caller.key)}
+					}
+				}
+			}
+			return true
+		})
+	}
+	for key, candidates := range byField {
+		if len(candidates) != 1 {
+			continue
+		}
+		for _, candidate := range candidates {
+			origin := s.fields[key]
+			origin.value = candidate.value
+			origin.chain = uniqueStrings(append([]string{candidate.value, candidate.caller}, origin.chain[1:]...))
+			s.fields[key] = origin
+		}
+	}
+}
+
+func functionParamTypes(fn *ast.FuncDecl) []string {
+	var out []string
+	if fn.Type.Params == nil {
+		return out
+	}
+	for _, field := range fn.Type.Params.List {
+		typeName := receiverName(field.Type)
+		if len(field.Names) == 0 {
+			out = append(out, typeName)
+			continue
+		}
+		for range field.Names {
+			out = append(out, typeName)
+		}
+	}
+	return out
+}
+
+func fieldKey(file *parsedFile, typeName, field string) string {
+	return file.dir + ":" + typeName + "." + field
+}
+
+func compositeLiteral(expr ast.Expr) *ast.CompositeLit {
+	switch value := expr.(type) {
+	case *ast.CompositeLit:
+		return value
+	case *ast.UnaryExpr:
+		return compositeLiteral(value.X)
+	}
+	return nil
+}
+
+func looksLikeURLName(name string) bool {
+	name = strings.ToLower(name)
+	return strings.Contains(name, "url") || strings.Contains(name, "endpoint") || strings.Contains(name, "host")
+}
+
+func (s *scanner) symbolicLocals(declaration *functionDecl) map[string]string {
+	locals := map[string]string{}
+	parameterTypes := map[string]string{}
+	if declaration.fn.Type.Params != nil {
+		for _, field := range declaration.fn.Type.Params.List {
+			for _, name := range field.Names {
+				parameterTypes[name.Name] = receiverName(field.Type)
+			}
+		}
+	}
+	ast.Inspect(declaration.fn.Body, func(node ast.Node) bool {
+		assign, ok := node.(*ast.AssignStmt)
+		if !ok || len(assign.Rhs) == 0 {
+			return true
+		}
+		for index, left := range assign.Lhs {
+			id, ok := left.(*ast.Ident)
+			if !ok {
+				continue
+			}
+			rightAt := index
+			if len(assign.Rhs) == 1 {
+				rightAt = 0
+			}
+			if rightAt >= len(assign.Rhs) {
+				continue
+			}
+			if value := s.symbolicValueWithTypes(declaration, assign.Rhs[rightAt], locals, parameterTypes, map[string]bool{}); value != "" {
+				if assign.Tok == token.ADD_ASSIGN {
+					value = locals[id.Name] + value
+				}
+				locals[id.Name] = value
+			}
+		}
+		return true
+	})
+	return locals
+}
+
+func (s *scanner) symbolicValue(declaration *functionDecl, expr ast.Expr, locals map[string]string, seen map[string]bool) string {
+	parameterTypes := map[string]string{}
+	if declaration.fn.Type.Params != nil {
+		for _, field := range declaration.fn.Type.Params.List {
+			for _, name := range field.Names {
+				parameterTypes[name.Name] = receiverName(field.Type)
+			}
+		}
+	}
+	return s.symbolicValueWithTypes(declaration, expr, locals, parameterTypes, seen)
+}
+
+func (s *scanner) symbolicValueWithTypes(declaration *functionDecl, expr ast.Expr, locals, parameterTypes map[string]string, seen map[string]bool) string {
+	switch value := expr.(type) {
+	case *ast.ParenExpr:
+		return s.symbolicValueWithTypes(declaration, value.X, locals, parameterTypes, seen)
+	case *ast.UnaryExpr:
+		return s.symbolicValueWithTypes(declaration, value.X, locals, parameterTypes, seen)
+	case *ast.StarExpr:
+		return s.symbolicValueWithTypes(declaration, value.X, locals, parameterTypes, seen)
+	case *ast.TypeAssertExpr:
+		return s.symbolicValueWithTypes(declaration, value.X, locals, parameterTypes, seen)
+	case *ast.BasicLit:
+		if value.Kind == token.STRING {
+			literal, _ := strconv.Unquote(value.Value)
+			return literal
+		}
+	case *ast.Ident:
+		if local := locals[value.Name]; local != "" {
+			return local
+		}
+		return value.Name
+	case *ast.IndexExpr:
+		return expression(value)
+	case *ast.SelectorExpr:
+		if owner, ok := value.X.(*ast.Ident); ok {
+			if local := locals[owner.Name+"."+value.Sel.Name]; local != "" {
+				return local
+			}
+			if typ := parameterTypes[owner.Name]; typ != "" {
+				return typ + "." + value.Sel.Name
+			}
+		}
+		return expression(value)
+	case *ast.BinaryExpr:
+		if value.Op == token.ADD {
+			return s.symbolicValueWithTypes(declaration, value.X, locals, parameterTypes, seen) + s.symbolicValueWithTypes(declaration, value.Y, locals, parameterTypes, seen)
+		}
+	case *ast.CallExpr:
+		name := selectorName(value.Fun)
+		if name == "String" {
+			if selector, ok := value.Fun.(*ast.SelectorExpr); ok {
+				return s.symbolicValueWithTypes(declaration, selector.X, locals, parameterTypes, seen)
+			}
+		}
+		if (name == "Parse" || strings.HasPrefix(name, "Trim")) && len(value.Args) > 0 {
+			return s.symbolicValueWithTypes(declaration, value.Args[0], locals, parameterTypes, seen)
+		}
+	}
+	return ""
+}
+
+// indexSOAPWrappers learns the public signature of local SOAP adapters from
+// their implementation. It does not assume that action/request/response occupy
+// fixed argument positions: generated and hand-written clients differ there.
+// A wrapper is accepted only when its body proves SOAP through a gowsdl call or
+// a SOAPAction header.
+func (s *scanner) indexSOAPWrappers() {
+	for {
+		progress := false
+		for _, declaration := range s.functions {
+			if s.soapFns[declaration.key] {
+				continue
+			}
+			params := functionParams(declaration.fn)
+			if len(params) == 0 {
+				continue
+			}
+			paramAt := map[string]int{}
+			for index, name := range params {
+				if name != "" {
+					paramAt[name] = index
+				}
+			}
+			wrapper := soapWrapper{
+				function: declaration.key, name: declaration.fn.Name.Name, arity: len(params), variadic: functionVariadic(declaration.fn),
+				request: -1, response: -1,
+			}
+			proved := false
+			ast.Inspect(declaration.fn.Body, func(n ast.Node) bool {
+				call, ok := n.(*ast.CallExpr)
+				if !ok {
+					return true
+				}
+				name := selectorName(call.Fun)
+				if (name == "Call" || name == "CallContext") && importsSOAP(declaration.file) {
+					actionAt := 0
+					if name == "CallContext" {
+						actionAt = 1
+					}
+					if len(call.Args) > actionAt+2 {
+						if parts, ok := templateOf(call.Args[actionAt], declaration.file, paramAt, s); ok {
+							wrapper.action = parts
+						}
+						wrapper.request = parameterOf(call.Args[actionAt+1], paramAt)
+						wrapper.response = parameterOf(call.Args[actionAt+2], paramAt)
+						wrapper.version = "1.1"
+						proved = true
+					}
+				}
+				if inner := s.oneSOAPWrapper(name, len(call.Args)); inner != nil {
+					if parts := composeTemplate(inner.action, call.Args, declaration.file, paramAt, s); len(parts) > 0 {
+						wrapper.action = parts
+						wrapper.contentTypeAction = inner.contentTypeAction
+						wrapper.version = inner.version
+						proved = true
+					}
+					wrapper.request = composedParameter(inner.request, call.Args, paramAt)
+					wrapper.response = composedParameter(inner.response, call.Args, paramAt)
+					wrapper.endpoint = composeTemplate(inner.endpoint, call.Args, declaration.file, paramAt, s)
+				}
+				if (name == "Add" || name == "Set") && len(call.Args) >= 2 {
+					header := strings.ToLower(strings.Trim(s.value(declaration.file, call.Args[0], nil, map[string]bool{}), `"`))
+					if header == "soapaction" {
+						if parts, ok := templateOf(call.Args[1], declaration.file, paramAt, s); ok {
+							wrapper.action = parts
+							wrapper.version = "1.1"
+							proved = true
+						}
+					}
+					if header == "content-type" && strings.Contains(strings.ToLower(expression(call.Args[1])), "application/soap+xml") && strings.Contains(strings.ToLower(expression(call.Args[1])), "action") {
+						if parts, ok := templateOf(call.Args[1], declaration.file, paramAt, s); ok {
+							wrapper.action = parts
+							wrapper.contentTypeAction = true
+							wrapper.version = "1.2"
+							proved = true
+						}
+					}
+				}
+				if (name == "NewRequest" || name == "NewRequestWithContext") && s.netHTTPCall(declaration.file, call.Fun) {
+					urlAt := 1
+					if name == "NewRequestWithContext" {
+						urlAt = 2
+					}
+					if len(call.Args) > urlAt {
+						wrapper.endpoint, _ = templateOf(call.Args[urlAt], declaration.file, paramAt, s)
+					}
+				}
+				return true
+			})
+			if !proved || len(wrapper.action) == 0 || !templateHasParam(wrapper.action) {
+				continue
+			}
+			if wrapper.request < 0 || wrapper.response < 0 {
+				wrapper.request, wrapper.response = namedPayloadParams(params)
+			}
+			s.soap[wrapper.name] = append(s.soap[wrapper.name], wrapper)
+			s.soapFns[wrapper.function] = true
+			progress = true
+		}
+		if !progress {
+			return
+		}
+	}
+}
+
+func functionVariadic(fn *ast.FuncDecl) bool {
+	if fn.Type.Params == nil || len(fn.Type.Params.List) == 0 {
+		return false
+	}
+	_, ok := fn.Type.Params.List[len(fn.Type.Params.List)-1].Type.(*ast.Ellipsis)
+	return ok
+}
+
+func (s *scanner) matchingSOAPWrappers(name string, arity int) []soapWrapper {
+	var out []soapWrapper
+	for _, wrapper := range s.soap[name] {
+		minimum := wrapper.arity
+		if wrapper.variadic {
+			minimum--
+		}
+		if (!wrapper.variadic && arity == wrapper.arity) || (wrapper.variadic && arity >= minimum) {
+			out = append(out, wrapper)
+		}
+	}
+	return out
+}
+
+func (s *scanner) oneSOAPWrapper(name string, arity int) *soapWrapper {
+	matches := s.matchingSOAPWrappers(name, arity)
+	if len(matches) != 1 {
+		return nil
+	}
+	return &matches[0]
+}
+
+func composeTemplate(parts []valuePart, args []ast.Expr, file *parsedFile, params map[string]int, s *scanner) []valuePart {
+	var out []valuePart
+	for _, part := range parts {
+		if !part.isParam {
+			out = append(out, part)
+			continue
+		}
+		if part.param < 0 || part.param >= len(args) {
+			continue
+		}
+		resolved, ok := templateOf(args[part.param], file, params, s)
+		if ok {
+			out = append(out, resolved...)
+		}
+	}
+	return out
+}
+
+func composedParameter(index int, args []ast.Expr, params map[string]int) int {
+	if index < 0 || index >= len(args) {
+		return -1
+	}
+	return parameterOf(args[index], params)
+}
+
+func templateHasParam(parts []valuePart) bool {
+	for _, part := range parts {
+		if part.isParam {
+			return true
+		}
+	}
+	return false
+}
+
+func functionParams(fn *ast.FuncDecl) []string {
+	var out []string
+	if fn.Type.Params == nil {
+		return out
+	}
+	for _, field := range fn.Type.Params.List {
+		if len(field.Names) == 0 {
+			out = append(out, "")
+			continue
+		}
+		for _, name := range field.Names {
+			out = append(out, name.Name)
+		}
+	}
+	return out
+}
+
+func namedPayloadParams(params []string) (request, response int) {
+	request, response = -1, -1
+	for index, name := range params {
+		lower := strings.ToLower(name)
+		if request < 0 && (strings.Contains(lower, "request") || strings.Contains(lower, "query") || strings.Contains(lower, "payload")) {
+			request = index
+		}
+		if response < 0 && (strings.Contains(lower, "response") || strings.Contains(lower, "reply") || strings.Contains(lower, "result")) {
+			response = index
+		}
+	}
+	return request, response
+}
+
+func importsSOAP(file *parsedFile) bool {
+	for _, imported := range file.imports {
+		if strings.Contains(strings.ToLower(imported), "soap") {
+			return true
+		}
+	}
+	return false
+}
+
+func parameterOf(expr ast.Expr, params map[string]int) int {
+	id, ok := expr.(*ast.Ident)
+	if !ok {
+		return -1
+	}
+	if index, ok := params[id.Name]; ok {
+		return index
+	}
+	return -1
+}
+
+func templateOf(expr ast.Expr, file *parsedFile, params map[string]int, s *scanner) ([]valuePart, bool) {
+	switch value := expr.(type) {
+	case *ast.ParenExpr:
+		return templateOf(value.X, file, params, s)
+	case *ast.BinaryExpr:
+		if value.Op != token.ADD {
+			return nil, false
+		}
+		left, leftOK := templateOf(value.X, file, params, s)
+		right, rightOK := templateOf(value.Y, file, params, s)
+		return append(left, right...), leftOK && rightOK
+	case *ast.BasicLit:
+		if value.Kind == token.STRING {
+			literal, err := strconv.Unquote(value.Value)
+			return []valuePart{{literal: literal}}, err == nil
+		}
+	case *ast.Ident:
+		if index, ok := params[value.Name]; ok {
+			return []valuePart{{param: index, isParam: true}}, true
+		}
+		if literal := s.value(file, value, nil, map[string]bool{}); literal != "" {
+			return []valuePart{{literal: literal}}, true
+		}
+	}
+	return nil, false
+}
+
+func (s *scanner) readWSDLContracts() {
+	result, err := wsdl.Discover(s.root)
+	if err != nil {
+		s.warnings = append(s.warnings, "WSDL discovery: "+err.Error())
+		return
+	}
+	s.warnings = append(s.warnings, result.Warnings...)
+	apiIDs := wsdl.APIIDs(result.Contracts)
+	for _, document := range result.Contracts {
+		api := apiIDs[wsdl.ContractKey(document)]
+		external := wsdl.ExternalID(document)
+		for _, iface := range document.Interfaces {
+			operations := make([]SOAPOperation, 0, len(iface.Operations))
+			for _, operation := range iface.Operations {
+				operations = append(operations, SOAPOperation{
+					ID: operation.Name, Interface: wsdl.InterfaceID(api, iface), Action: operation.Action,
+					Request: operation.Request, Response: operation.Response,
+					Version: iface.Version, Style: iface.Style, Binding: iface.Binding, Endpoint: iface.Endpoint,
+					Faults: append([]string(nil), operation.Faults...), Headers: append([]string(nil), operation.Headers...),
+				})
+			}
+			if len(operations) == 0 {
+				continue
+			}
+			s.contracts = append(s.contracts, Contract{
+				Protocol: "SOAP", API: api, External: external, Name: document.Name,
+				Summary: document.Summary, URL: iface.Endpoint, Source: document.Source, SOAP: operations,
+			})
+		}
+	}
+}
+
+func (s *scanner) read() error {
+	var names []string
+	err := filepath.WalkDir(s.root, func(name string, entry fs.DirEntry, err error) error {
+		if err != nil {
+			return err
+		}
+		if entry.IsDir() {
+			if name != s.root && (strings.HasPrefix(entry.Name(), ".") || entry.Name() == "vendor" || entry.Name() == "node_modules") {
+				return filepath.SkipDir
+			}
+			return nil
+		}
+		if !strings.HasSuffix(entry.Name(), ".go") || strings.HasSuffix(entry.Name(), "_test.go") {
+			return nil
+		}
+		names = append(names, name)
+		return nil
+	})
+	if err != nil {
+		return err
+	}
+	sort.Strings(names)
+	for _, name := range names {
+		node, err := parser.ParseFile(s.fset, name, nil, parser.ParseComments)
+		if err != nil {
+			return fmt.Errorf("parse %s: %w", name, err)
+		}
+		rel, _ := filepath.Rel(s.root, name)
+		file := &parsedFile{
+			abs:       name,
+			rel:       filepath.ToSlash(rel),
+			dir:       filepath.ToSlash(filepath.Dir(rel)),
+			pkg:       node.Name.Name,
+			imports:   importsOf(node),
+			node:      node,
+			generated: generatedFile(name, node),
+		}
+		s.files = append(s.files, file)
+	}
+	return nil
+}
+
+func generatedFile(name string, node *ast.File) bool {
+	base := filepath.Base(name)
+	if strings.HasSuffix(base, ".gen.go") || strings.HasSuffix(base, ".generated.go") || strings.HasSuffix(base, "_generated.go") {
+		return true
+	}
+	for _, group := range node.Comments {
+		if strings.Contains(group.Text(), "Code generated") && strings.Contains(group.Text(), "DO NOT EDIT") {
+			return true
+		}
+	}
+	return false
+}
+
+func importsOf(node *ast.File) map[string]string {
+	out := map[string]string{}
+	for _, spec := range node.Imports {
+		path, err := strconv.Unquote(spec.Path.Value)
+		if err != nil {
+			continue
+		}
+		name := filepath.Base(path)
+		if spec.Name != nil {
+			name = spec.Name.Name
+		}
+		out[name] = path
+	}
+	return out
+}
+
+func (s *scanner) indexConstants() {
+	for _, file := range s.files {
+		for _, decl := range file.node.Decls {
+			gen, ok := decl.(*ast.GenDecl)
+			if !ok || gen.Tok != token.CONST {
+				continue
+			}
+			for _, item := range gen.Specs {
+				value, ok := item.(*ast.ValueSpec)
+				if !ok {
+					continue
+				}
+				for i, name := range value.Names {
+					if i >= len(value.Values) {
+						continue
+					}
+					v := constValue{expr: value.Values[i], file: file}
+					s.constants[file.dir+"."+name.Name] = v
+					s.constants[file.pkg+"."+name.Name] = v
+				}
+			}
+		}
+	}
+}
+
+func (s *scanner) readContracts() {
+	byDir := map[string][]*parsedFile{}
+	for _, file := range s.files {
+		byDir[file.dir] = append(byDir[file.dir], file)
+	}
+	for dir, files := range byDir {
+		if !looksLikeOAPIGeneratedClient(files) {
+			continue
+		}
+		for _, base := range []string{"openapi.yaml", "openapi.yml", "openapi.json", "swagger.yaml", "swagger.yml", "swagger.json"} {
+			name := filepath.Join(s.root, filepath.FromSlash(dir), base)
+			if _, err := os.Stat(name); err != nil {
+				continue
+			}
+			spec, err := openapi.Read(name)
+			if err != nil {
+				s.warnings = append(s.warnings, err.Error())
+				break
+			}
+			rel, _ := filepath.Rel(s.root, name)
+			contract := Contract{
+				Protocol: "HTTP",
+				API:      spec.API, External: openapi.ExternalID(spec.Title), Name: spec.Title,
+				Summary: spec.Description, URL: spec.DocsURL, Source: filepath.ToSlash(rel),
+				Operations: spec.Operations, MethodCalls: map[string]openapi.Operation{},
+			}
+			matched := 0
+			firstBuilder := ""
+			for _, file := range files {
+				for _, decl := range file.node.Decls {
+					fn, ok := decl.(*ast.FuncDecl)
+					if !ok || fn.Recv != nil {
+						continue
+					}
+					opName := requestBuilderOp(fn.Name.Name)
+					if opName == "" {
+						continue
+					}
+					method, path := routeOf(fn)
+					if firstBuilder == "" && (method != "" || path != "") {
+						firstBuilder = method + " " + path
+					}
+					op, ok := spec.Find(method, path)
+					if !ok {
+						continue
+					}
+					matched++
+					for _, variant := range []string{opName, opName + "WithBody", opName + "WithResponse", opName + "WithBodyWithResponse"} {
+						contract.MethodCalls[variant] = op
+					}
+				}
+			}
+			if matched == 0 {
+				sample := ""
+				if len(spec.Operations) > 0 {
+					sample = "; for example client `" + firstBuilder + "`, document `" + spec.Operations[0].Verb + " " + spec.Operations[0].Path + "`"
+				}
+				s.warnings = append(s.warnings, "the generated client in "+dir+" could not be matched to any route in "+contract.Source+sample)
+			}
+			s.contracts = append(s.contracts, contract)
+			break
+		}
+	}
+	sort.Slice(s.contracts, func(i, j int) bool { return s.contracts[i].API < s.contracts[j].API })
+}
+
+func looksLikeOAPIGeneratedClient(files []*parsedFile) bool {
+	var iface, builder bool
+	for _, file := range files {
+		for _, decl := range file.node.Decls {
+			switch d := decl.(type) {
+			case *ast.GenDecl:
+				for _, spec := range d.Specs {
+					if ts, ok := spec.(*ast.TypeSpec); ok && ts.Name.Name == "ClientInterface" {
+						_, iface = ts.Type.(*ast.InterfaceType)
+					}
+				}
+			case *ast.FuncDecl:
+				builder = builder || requestBuilderOp(d.Name.Name) != ""
+			}
+		}
+	}
+	return iface && builder
+}
+
+func requestBuilderOp(name string) string {
+	rest, ok := strings.CutPrefix(name, "New")
+	if !ok {
+		return ""
+	}
+	if op, ok := strings.CutSuffix(rest, "RequestWithBody"); ok {
+		return op
+	}
+	if op, ok := strings.CutSuffix(rest, "Request"); ok {
+		return op
+	}
+	return ""
+}
+
+func routeOf(fn *ast.FuncDecl) (method, path string) {
+	ast.Inspect(fn.Body, func(node ast.Node) bool {
+		switch n := node.(type) {
+		case *ast.AssignStmt:
+			if len(n.Lhs) == 1 && len(n.Rhs) == 1 {
+				if id, ok := n.Lhs[0].(*ast.Ident); ok && (id.Name == "operationPath" || id.Name == "path") {
+					if candidate := firstPathLiteral(n.Rhs[0]); candidate != "" {
+						path = candidate
+					}
+				}
+			}
+		case *ast.CallExpr:
+			if selectorName(n.Fun) == "NewRequest" || selectorName(n.Fun) == "NewRequestWithContext" {
+				at := 0
+				if selectorName(n.Fun) == "NewRequestWithContext" {
+					at = 1
+				}
+				if len(n.Args) > at {
+					method = httpMethod(n.Args[at])
+				}
+			}
+		}
+		return true
+	})
+	return method, path
+}
+
+func (s *scanner) localStrings(file *parsedFile, fn *ast.FuncDecl) map[string]string {
+	return s.localStringsBound(file, fn, nil)
+}
+
+func (s *scanner) localStringsBound(file *parsedFile, fn *ast.FuncDecl, bindings map[string]string) map[string]string {
+	out := map[string]string{}
+	for name, value := range bindings {
+		out[name] = value
+	}
+	if fn.Recv != nil && len(fn.Recv.List) > 0 && len(fn.Recv.List[0].Names) > 0 {
+		receiver := fn.Recv.List[0].Names[0].Name
+		typeName := receiverName(fn.Recv.List[0].Type)
+		prefix := file.dir + ":" + typeName + "."
+		for field, origin := range s.fields {
+			if strings.HasPrefix(field, prefix) {
+				out[receiver+"."+strings.TrimPrefix(field, prefix)] = origin.value
+			}
+		}
+	}
+	ast.Inspect(fn.Body, func(node ast.Node) bool {
+		assign, ok := node.(*ast.AssignStmt)
+		if !ok || len(assign.Rhs) == 0 {
+			return true
+		}
+		for i, left := range assign.Lhs {
+			name := expression(left)
+			if name == "" || name == "_" {
+				continue
+			}
+			rightAt := i
+			if len(assign.Rhs) == 1 {
+				rightAt = 0
+			}
+			if rightAt >= len(assign.Rhs) {
+				continue
+			}
+			if value := s.value(file, assign.Rhs[rightAt], out, map[string]bool{}); value != "" {
+				if assign.Tok == token.ADD_ASSIGN {
+					value = out[name] + value
+				}
+				out[name] = value
+			}
+		}
+		return true
+	})
+	return out
+}
+
+func (s *scanner) walkStatements(file *parsedFile, function string, statements []ast.Stmt, conditions []string, locals map[string]string, out *[]Call) {
+	for _, statement := range statements {
+		switch item := statement.(type) {
+		case *ast.IfStmt:
+			if item.Init != nil {
+				s.scanNode(file, function, item.Init, conditions, locals, out)
+			}
+			condition := expression(item.Cond)
+			s.walkStatements(file, function, item.Body.List, appendCopy(conditions, condition), locals, out)
+			if item.Else != nil {
+				opposite := appendCopy(conditions, "not ("+condition+")")
+				switch branch := item.Else.(type) {
+				case *ast.BlockStmt:
+					s.walkStatements(file, function, branch.List, opposite, locals, out)
+				case *ast.IfStmt:
+					s.walkStatements(file, function, []ast.Stmt{branch}, opposite, locals, out)
+				}
+			} else if blockTerminates(item.Body.List) {
+				// An early-return guard proves that every statement following it
+				// runs on the opposite path.
+				conditions = appendCopy(conditions, "not ("+condition+")")
+			}
+		case *ast.ForStmt:
+			title := "loop"
+			if item.Cond != nil {
+				title = expression(item.Cond)
+			}
+			s.walkStatements(file, function, item.Body.List, appendCopy(conditions, title), locals, out)
+		case *ast.RangeStmt:
+			s.walkStatements(file, function, item.Body.List, appendCopy(conditions, "for "+expression(item.X)), locals, out)
+		default:
+			s.scanNode(file, function, statement, conditions, locals, out)
+		}
+	}
+}
+
+func blockTerminates(statements []ast.Stmt) bool {
+	if len(statements) == 0 {
+		return false
+	}
+	switch last := statements[len(statements)-1].(type) {
+	case *ast.ReturnStmt, *ast.BranchStmt:
+		return true
+	case *ast.BlockStmt:
+		return blockTerminates(last.List)
+	}
+	return false
+}
+
+func (s *scanner) scanNode(file *parsedFile, function string, node ast.Node, conditions []string, locals map[string]string, out *[]Call) {
+	ast.Inspect(node, func(n ast.Node) bool {
+		call, ok := n.(*ast.CallExpr)
+		if !ok {
+			return true
+		}
+		if found, ok := s.call(file, function, call, conditions, locals); ok {
+			*out = append(*out, found)
+		}
+		return true
+	})
+}
+
+func (s *scanner) call(file *parsedFile, function string, call *ast.CallExpr, conditions []string, locals map[string]string) (Call, bool) {
+	name := selectorName(call.Fun)
+	for _, contract := range s.contracts {
+		if op, ok := contract.MethodCalls[name]; ok {
+			return Call{
+				Function: function, Source: s.source(file, call.Pos()), Protocol: "HTTP",
+				Method: op.Verb, Path: op.Path, API: contract.API, ID: op.CallID(contract.API),
+				External: contract.External, Contract: contract.Source, Conditions: append([]string(nil), conditions...),
+			}, true
+		}
+	}
+
+	if wrappers := s.matchingSOAPWrappers(name, len(call.Args)); len(wrappers) > 0 {
+		if s.soapFns[function] {
+			return Call{}, false
+		}
+		if found, ok := s.wrapperCall(file, function, call, conditions, locals, wrappers); ok {
+			return found, true
+		}
+		// The implementation proved that this is a SOAP wrapper, but more than
+		// one local receiver exposes the same Go method shape and syntax alone
+		// cannot choose one. Dropping it is more honest than applying the fixed
+		// positions of a transport it may not be calling.
+		return Call{}, false
+	}
+
+	if (name == "NewRequest" || name == "NewRequestWithContext") && s.netHTTPCall(file, call.Fun) {
+		if s.soapFns[function] || s.soapTransportFile(file) {
+			return Call{}, false
+		}
+		methodAt, urlAt := 0, 1
+		if name == "NewRequestWithContext" {
+			methodAt, urlAt = 1, 2
+		}
+		if len(call.Args) <= urlAt {
+			return Call{}, false
+		}
+		method := httpMethod(call.Args[methodAt])
+		if method == "" {
+			method = "HTTP"
+		}
+		endpoint := s.value(file, call.Args[urlAt], locals, map[string]bool{})
+		path := pathOf(call.Args[urlAt], endpoint)
+		return Call{
+			Function: function, Source: s.source(file, call.Pos()), Protocol: "HTTP", Method: method,
+			Path: path, Endpoint: endpoint, ID: rawCallID(method, path), Conditions: append([]string(nil), conditions...),
+			URLTrace: s.urlTrace(function), template: &callTemplate{method: call.Args[methodAt], endpoint: call.Args[urlAt]},
+		}, true
+	}
+
+	if (name == "Get" || name == "Post" || name == "PostForm" || name == "Head") && s.netHTTPCall(file, call.Fun) {
+		if s.soapFns[function] {
+			return Call{}, false
+		}
+		if len(call.Args) == 0 {
+			return Call{}, false
+		}
+		endpoint := s.value(file, call.Args[0], locals, map[string]bool{})
+		path := pathOf(call.Args[0], endpoint)
+		return Call{Function: function, Source: s.source(file, call.Pos()), Protocol: "HTTP", Method: strings.ToUpper(strings.TrimSuffix(name, "Form")), Path: path, Endpoint: endpoint, ID: rawCallID(strings.ToUpper(strings.TrimSuffix(name, "Form")), path), Conditions: append([]string(nil), conditions...), URLTrace: s.urlTrace(function), template: &callTemplate{endpoint: call.Args[0]}}, true
+	}
+
+	if (name == "Call" || name == "CallContext") && s.looksLikeSOAP(file, call) {
+		actionAt := 0
+		if name == "CallContext" {
+			actionAt = 1
+		}
+		if len(call.Args) <= actionAt+2 {
+			return Call{}, false
+		}
+		if s.soapFns[function] {
+			return Call{}, false
+		}
+		action := s.value(file, call.Args[actionAt], locals, map[string]bool{})
+		if action == "" {
+			action = expression(call.Args[actionAt])
+		}
+		request, response := expression(call.Args[actionAt+1]), expression(call.Args[actionAt+2])
+		idName := action
+		if idName == "" {
+			idName = name
+		}
+		found := Call{Function: function, Source: s.source(file, call.Pos()), Protocol: "SOAP", Action: action, SOAPVersion: "1.1", Request: request, Response: response, ID: "soap/" + idName, Conditions: append([]string(nil), conditions...)}
+		return s.bindSOAP(found), true
+	}
+	return Call{}, false
+}
+
+func (s *scanner) urlTrace(function string) []string {
+	declaration := s.functions[function]
+	if declaration == nil || declaration.fn.Recv == nil || len(declaration.fn.Recv.List) == 0 {
+		return nil
+	}
+	typeName := receiverName(declaration.fn.Recv.List[0].Type)
+	var trace []string
+	ast.Inspect(declaration.fn.Body, func(node ast.Node) bool {
+		selector, ok := node.(*ast.SelectorExpr)
+		if !ok {
+			return true
+		}
+		origin, ok := s.fields[fieldKey(declaration.file, typeName, selector.Sel.Name)]
+		if !ok {
+			return true
+		}
+		trace = append(trace, origin.chain...)
+		return false
+	})
+	if len(trace) == 0 {
+		return nil
+	}
+	return uniqueStrings(append(trace, "request URL"))
+}
+
+func (s *scanner) wrapperCall(file *parsedFile, function string, call *ast.CallExpr, conditions []string, locals map[string]string, wrappers []soapWrapper) (Call, bool) {
+	type candidate struct {
+		call  Call
+		score int
+	}
+	var candidates []candidate
+	for _, wrapper := range wrappers {
+		resolvedAction := s.templateValue(file, call, wrapper.action, locals)
+		if wrapper.contentTypeAction {
+			resolvedAction = soap12Action(resolvedAction)
+		}
+		action := resolvedAction
+		if action == "" {
+			action = expressionAt(call.Args, wrapper.action)
+		}
+		found := Call{
+			Function: function, Source: s.source(file, call.Pos()), Protocol: "SOAP",
+			Action: action, SOAPVersion: wrapper.version, ID: "soap/" + firstString(action, wrapper.name),
+			Request: expressionArg(call.Args, wrapper.request), Response: expressionArg(call.Args, wrapper.response),
+			Endpoint: s.templateValue(file, call, wrapper.endpoint, locals), Conditions: append([]string(nil), conditions...),
+		}
+		score := 0
+		if resolvedAction != "" {
+			score += 4
+		}
+		if _, _, matched := s.soapContract(action, wrapper.version); matched {
+			score += 6
+		}
+		if plausiblePayload(found.Request) {
+			score++
+		}
+		if plausiblePayload(found.Response) {
+			score++
+		}
+		candidates = append(candidates, candidate{call: s.bindSOAP(found), score: score})
+	}
+	sort.SliceStable(candidates, func(i, j int) bool { return candidates[i].score > candidates[j].score })
+	if len(candidates) == 0 || (len(candidates) > 1 && candidates[0].score == candidates[1].score) {
+		return Call{}, false
+	}
+	return candidates[0].call, true
+}
+
+func plausiblePayload(expression string) bool {
+	lower := strings.ToLower(strings.TrimSpace(expression))
+	if lower == "" || strings.Contains(lower, "client") || strings.Contains(lower, "context") || lower == "ctx" || strings.Contains(lower, "messageid") || strings.Contains(lower, "stage") {
+		return false
+	}
+	return !strings.HasPrefix(lower, `"`) && !strings.HasPrefix(lower, "`")
+}
+
+func soap12Action(contentType string) string {
+	_, params, err := mime.ParseMediaType(contentType)
+	if err != nil {
+		return ""
+	}
+	return strings.Trim(params["action"], `"`)
+}
+
+func (s *scanner) bindSOAP(found Call) Call {
+	if contract, operation, ok := s.soapContract(found.Action, found.SOAPVersion); ok {
+		found.API = contract.API
+		found.ID = operation.Interface + "/" + operation.ID
+		found.External = contract.External
+		found.Contract = contract.Source
+		if found.Endpoint == "" {
+			found.Endpoint = operation.Endpoint
+		}
+		if found.Endpoint == "" {
+			found.Endpoint = contract.URL
+		}
+		if found.Request == "" {
+			found.Request = operation.Request
+		}
+		if found.Response == "" {
+			found.Response = operation.Response
+		}
+	}
+	return found
+}
+
+func (s *scanner) templateValue(file *parsedFile, call *ast.CallExpr, parts []valuePart, locals map[string]string) string {
+	var out strings.Builder
+	for _, part := range parts {
+		if !part.isParam {
+			out.WriteString(part.literal)
+			continue
+		}
+		if part.param < 0 || part.param >= len(call.Args) {
+			return ""
+		}
+		value := s.value(file, call.Args[part.param], locals, map[string]bool{})
+		if value == "" {
+			return ""
+		}
+		out.WriteString(value)
+	}
+	return out.String()
+}
+
+func expressionAt(args []ast.Expr, parts []valuePart) string {
+	var out strings.Builder
+	for _, part := range parts {
+		if !part.isParam {
+			out.WriteString(part.literal)
+		} else if part.param >= 0 && part.param < len(args) {
+			out.WriteString(expression(args[part.param]))
+		}
+	}
+	return out.String()
+}
+
+func expressionArg(args []ast.Expr, index int) string {
+	if index < 0 || index >= len(args) {
+		return ""
+	}
+	return expression(args[index])
+}
+
+func firstString(values ...string) string {
+	for _, value := range values {
+		if value != "" {
+			return value
+		}
+	}
+	return ""
+}
+
+func (s *scanner) soapContract(action, version string) (Contract, SOAPOperation, bool) {
+	if action == "" {
+		return Contract{}, SOAPOperation{}, false
+	}
+	for _, contract := range s.contracts {
+		for _, operation := range contract.SOAP {
+			if version != "" && operation.Version != "" && operation.Version != version {
+				continue
+			}
+			if operation.Action == action || operation.ID == action || strings.HasSuffix(action, "/"+operation.ID) || strings.HasSuffix(operation.Action, "/"+action) {
+				return contract, operation, true
+			}
+		}
+	}
+	return Contract{}, SOAPOperation{}, false
+}
+
+func (s *scanner) netHTTPCall(file *parsedFile, fun ast.Expr) bool {
+	sel, ok := fun.(*ast.SelectorExpr)
+	if !ok {
+		return false
+	}
+	id, ok := sel.X.(*ast.Ident)
+	return ok && file.imports[id.Name] == "net/http"
+}
+
+func (s *scanner) looksLikeSOAP(file *parsedFile, call *ast.CallExpr) bool {
+	if importsSOAP(file) {
+		return true
+	}
+	actionAt := 0
+	if selectorName(call.Fun) == "CallContext" {
+		actionAt = 1
+	}
+	if len(call.Args) <= actionAt {
+		return false
+	}
+	action := strings.ToLower(expression(call.Args[actionAt]))
+	return strings.Contains(action, "action") || strings.Contains(action, "soap") || strings.HasPrefix(strings.Trim(action, `"`), "urn:")
+}
+
+func (s *scanner) soapTransportFile(file *parsedFile) bool {
+	if !strings.Contains(strings.ToLower(file.rel), "soap") {
+		return false
+	}
+	for _, imported := range file.imports {
+		if strings.Contains(imported, "gowsdl/soap") {
+			return true
+		}
+	}
+	return false
+}
+
+func (s *scanner) source(file *parsedFile, pos token.Pos) Source {
+	return Source{File: file.rel, Line: s.fset.Position(pos).Line}
+}
+
+func (s *scanner) value(file *parsedFile, expr ast.Expr, locals map[string]string, seen map[string]bool) string {
+	switch x := expr.(type) {
+	case *ast.BasicLit:
+		if x.Kind == token.STRING {
+			value, _ := strconv.Unquote(x.Value)
+			return value
+		}
+	case *ast.Ident:
+		if value := locals[x.Name]; value != "" {
+			return value
+		}
+		key := file.dir + "." + x.Name
+		if seen[key] {
+			return ""
+		}
+		if constant, ok := s.constants[key]; ok {
+			seen[key] = true
+			return s.value(constant.file, constant.expr, locals, seen)
+		}
+	case *ast.SelectorExpr:
+		if value := locals[expression(x)]; value != "" {
+			return value
+		}
+		owner, ok := x.X.(*ast.Ident)
+		if !ok {
+			return ""
+		}
+		key := owner.Name + "." + x.Sel.Name
+		if imported := file.imports[owner.Name]; imported != "" {
+			key = filepath.Base(imported) + "." + x.Sel.Name
+		}
+		if constant, ok := s.constants[key]; ok && !seen[key] {
+			seen[key] = true
+			return s.value(constant.file, constant.expr, locals, seen)
+		}
+	case *ast.BinaryExpr:
+		if x.Op == token.ADD {
+			left := s.value(file, x.X, locals, seen)
+			right := s.value(file, x.Y, locals, seen)
+			if left != "" && right != "" {
+				return left + right
+			}
+			if right != "" {
+				return expression(x.X) + right
+			}
+			if left != "" {
+				return left + expression(x.Y)
+			}
+		}
+	case *ast.CallExpr:
+		if selectorName(x.Fun) == "Join" && len(x.Args) > 0 {
+			var parts []string
+			for _, argument := range x.Args {
+				if part := s.value(file, argument, locals, seen); part != "" {
+					parts = append(parts, part)
+				}
+			}
+			if len(parts) > 0 {
+				return joinURLParts(parts)
+			}
+		}
+		if selectorName(x.Fun) == "Sprintf" && len(x.Args) > 0 {
+			format := s.value(file, x.Args[0], locals, seen)
+			if format != "" {
+				return format
+			}
+		}
+		if selectorName(x.Fun) == "String" {
+			if selector, ok := x.Fun.(*ast.SelectorExpr); ok {
+				base := s.value(file, selector.X, locals, seen)
+				path := locals[expression(selector.X)+".Path"]
+				if base != "" || path != "" {
+					return joinURLParts([]string{base, path})
+				}
+			}
+			return expression(x)
+		}
+		if value := s.localReturnValue(file, x, locals, seen); value != "" {
+			return value
+		}
+	}
+	return ""
+}
+
+func (s *scanner) localReturnValue(file *parsedFile, call *ast.CallExpr, locals map[string]string, seen map[string]bool) string {
+	name, ok := call.Fun.(*ast.Ident)
+	if !ok {
+		return ""
+	}
+	key := name.Name
+	if file.dir != "." && file.dir != "" {
+		key = file.dir + ":" + key
+	}
+	declaration := s.functions[key]
+	if declaration == nil || seen["return:"+key] {
+		return ""
+	}
+	bound := map[string]string{}
+	for index, param := range functionParams(declaration.fn) {
+		if param == "" || index >= len(call.Args) {
+			continue
+		}
+		bound[param] = s.value(file, call.Args[index], locals, seen)
+	}
+	seen["return:"+key] = true
+	defer delete(seen, "return:"+key)
+	var result string
+	ast.Inspect(declaration.fn.Body, func(node ast.Node) bool {
+		ret, ok := node.(*ast.ReturnStmt)
+		if !ok || len(ret.Results) == 0 {
+			return true
+		}
+		if value := s.value(declaration.file, ret.Results[0], bound, seen); value != "" {
+			result = value
+			return false
+		}
+		return true
+	})
+	return result
+}
+
+func joinURLParts(parts []string) string {
+	var out string
+	for _, part := range parts {
+		if part == "" {
+			continue
+		}
+		if out == "" {
+			out = part
+			continue
+		}
+		out = strings.TrimRight(out, "/") + "/" + strings.TrimLeft(part, "/")
+	}
+	return out
+}
+
+func pathOf(expr ast.Expr, endpoint string) string {
+	if endpoint != "" {
+		if !strings.Contains(endpoint, "://") {
+			if at := strings.Index(endpoint, "/"); at >= 0 {
+				candidate := endpoint[at:]
+				if parsed, err := url.Parse(candidate); err == nil && parsed.Path != "" {
+					return parsed.Path
+				}
+				return candidate
+			}
+		}
+		if parsed, err := url.Parse(endpoint); err == nil && parsed.Path != "" {
+			if strings.HasPrefix(parsed.Path, "/") || strings.Contains(endpoint, "://") {
+				return parsed.Path
+			}
+		}
+	}
+	return firstPathLiteral(expr)
+}
+
+func firstPathLiteral(expr ast.Expr) string {
+	var found string
+	ast.Inspect(expr, func(node ast.Node) bool {
+		if found != "" {
+			return false
+		}
+		lit, ok := node.(*ast.BasicLit)
+		if !ok || lit.Kind != token.STRING {
+			return true
+		}
+		value, _ := strconv.Unquote(lit.Value)
+		if strings.HasPrefix(value, "/") {
+			found = value
+		}
+		return true
+	})
+	return found
+}
+
+func httpMethod(expr ast.Expr) string {
+	switch x := expr.(type) {
+	case *ast.BasicLit:
+		value, _ := strconv.Unquote(x.Value)
+		return strings.ToUpper(value)
+	case *ast.SelectorExpr:
+		return strings.ToUpper(strings.TrimPrefix(x.Sel.Name, "Method"))
+	case *ast.Ident:
+		return ""
+	}
+	return expression(expr)
+}
+
+func rawCallID(method, path string) string {
+	if method == "" {
+		method = "HTTP"
+	}
+	if path == "" {
+		path = "dynamic endpoint"
+	}
+	return "http-client/" + method + " " + path
+}
+
+func selectorName(expr ast.Expr) string {
+	if sel, ok := expr.(*ast.SelectorExpr); ok {
+		return sel.Sel.Name
+	}
+	if id, ok := expr.(*ast.Ident); ok {
+		return id.Name
+	}
+	return ""
+}
+
+func receiverName(expr ast.Expr) string {
+	switch x := expr.(type) {
+	case *ast.Ident:
+		return x.Name
+	case *ast.StarExpr:
+		return receiverName(x.X)
+	case *ast.IndexExpr:
+		return receiverName(x.X)
+	case *ast.IndexListExpr:
+		return receiverName(x.X)
+	}
+	return expression(expr)
+}
+
+func expression(expr ast.Expr) string {
+	if expr == nil {
+		return ""
+	}
+	var out bytes.Buffer
+	_ = printer.Fprint(&out, token.NewFileSet(), expr)
+	return out.String()
+}
+
+func appendCopy(items []string, value string) []string {
+	out := append([]string(nil), items...)
+	if value != "" {
+		out = append(out, value)
+	}
+	return out
+}
+
+func uniqueStrings(items []string) []string {
+	seen := map[string]bool{}
+	out := make([]string, 0, len(items))
+	for _, item := range items {
+		if item != "" && !seen[item] {
+			seen[item] = true
+			out = append(out, item)
+		}
+	}
+	return out
+}
+
+func uniqueCalls(in []Call) []Call {
+	seen := map[string]bool{}
+	out := make([]Call, 0, len(in))
+	for _, call := range in {
+		key := call.Source.String() + "\x00" + call.ID
+		if seen[key] {
+			continue
+		}
+		seen[key] = true
+		out = append(out, call)
+	}
+	return out
+}
+
+func (s *scanner) flowGroups(calls []Call) []FlowGroup {
+	direct := map[string][]Call{}
+	for _, call := range calls {
+		direct[call.Function] = append(direct[call.Function], call)
+	}
+	edges := map[string][]localEdge{}
+	for key, fn := range s.functions {
+		ast.Inspect(fn.fn.Body, func(node ast.Node) bool {
+			call, ok := node.(*ast.CallExpr)
+			if !ok {
+				return true
+			}
+			if target := s.localTarget(fn, call.Fun); target != "" && target != key {
+				args := make([]ast.Expr, len(call.Args))
+				for index, argument := range call.Args {
+					args[index] = closureArgument(fn.fn, call.Pos(), argument)
+				}
+				edges[key] = append(edges[key], localEdge{target: target, line: s.fset.Position(call.Pos()).Line, args: args})
+			}
+			return true
+		})
+	}
+	groups := map[string][]Call{}
+	for key := range s.functions {
+		collected := s.collectCalls(key, edges, direct, nil, nil, map[string]bool{}, 0)
+		if len(collected) > 0 {
+			groups[key] = collected
+		}
+	}
+
+	// Keep the highest source-backed caller for each resolvable call chain. This
+	// removes duplicate transport flows such as Search → doRequest → RoundTrip,
+	// while retaining a leaf when syntax cannot prove a caller for it.
+	shadowed := map[string]bool{}
+	for caller, outgoing := range edges {
+		if len(groups[caller]) == 0 || s.technicalFlowFunction(caller) {
+			continue
+		}
+		for _, edge := range outgoing {
+			if len(groups[edge.target]) > 0 && !exportedFlowFunction(edge.target) {
+				shadowed[edge.target] = true
+			}
+		}
+	}
+	for key := range shadowed {
+		delete(groups, key)
+	}
+	for key := range groups {
+		if s.technicalFlowFunction(key) {
+			delete(groups, key)
+		}
+	}
+
+	keys := make([]string, 0, len(groups))
+	for key := range groups {
+		keys = append(keys, key)
+	}
+	sort.Strings(keys)
+	out := make([]FlowGroup, 0, len(keys))
+	callers := map[string][]string{}
+	for caller, outgoing := range edges {
+		for _, edge := range outgoing {
+			callers[edge.target] = append(callers[edge.target], caller)
+		}
+	}
+	for _, key := range keys {
+		source := Source{}
+		if fn := s.functions[key]; fn != nil {
+			source = s.source(fn.file, fn.fn.Pos())
+		}
+		groupCallers := uniqueStrings(callers[key])
+		sort.Strings(groupCallers)
+		out = append(out, FlowGroup{Function: key, Calls: groups[key], Source: source, Callers: groupCallers})
+	}
+	return out
+}
+
+func closureArgument(fn *ast.FuncDecl, position token.Pos, argument ast.Expr) ast.Expr {
+	identifier, ok := argument.(*ast.Ident)
+	if !ok {
+		return argument
+	}
+	resolved := argument
+	bestSize := token.Pos(0)
+	ast.Inspect(fn.Body, func(node ast.Node) bool {
+		invocation, ok := node.(*ast.CallExpr)
+		if !ok {
+			return true
+		}
+		literal, ok := invocation.Fun.(*ast.FuncLit)
+		if !ok || position < literal.Body.Pos() || position > literal.Body.End() {
+			return true
+		}
+		params := fieldListNames(literal.Type.Params)
+		for index, name := range params {
+			if name == identifier.Name && index < len(invocation.Args) {
+				size := literal.Body.End() - literal.Body.Pos()
+				if bestSize == 0 || size < bestSize {
+					resolved = invocation.Args[index]
+					bestSize = size
+				}
+			}
+		}
+		return true
+	})
+	return resolved
+}
+
+func fieldListNames(fields *ast.FieldList) []string {
+	if fields == nil {
+		return nil
+	}
+	var out []string
+	for _, field := range fields.List {
+		for _, name := range field.Names {
+			out = append(out, name.Name)
+		}
+	}
+	return out
+}
+
+func (s *scanner) collectCalls(key string, edges map[string][]localEdge, direct map[string][]Call, chain []string, bindings map[string]string, visiting map[string]bool, depth int) []Call {
+	if depth > 6 || visiting[key] {
+		return nil
+	}
+	visiting[key] = true
+	defer delete(visiting, key)
+	path := appendCopy(chain, displayFunction(key))
+	declaration := s.functions[key]
+	locals := map[string]string{}
+	if declaration != nil {
+		locals = s.localStringsBound(declaration.file, declaration.fn, bindings)
+	}
+	type event struct {
+		line   int
+		call   Call
+		isCall bool
+		edge   *localEdge
+	}
+	var events []event
+	for i := range direct[key] {
+		events = append(events, event{line: direct[key][i].Source.Line, call: direct[key][i], isCall: true})
+	}
+	for i := range edges[key] {
+		events = append(events, event{line: edges[key][i].line, edge: &edges[key][i]})
+	}
+	sort.SliceStable(events, func(i, j int) bool { return events[i].line < events[j].line })
+	var out []Call
+	for _, item := range events {
+		if item.isCall {
+			copy := item.call
+			if copy.template != nil && declaration != nil {
+				if copy.template.method != nil {
+					method := httpMethod(copy.template.method)
+					if method == "" {
+						method = strings.ToUpper(s.value(declaration.file, copy.template.method, locals, map[string]bool{}))
+					}
+					if method != "" {
+						copy.Method = method
+					}
+				}
+				endpoint := s.value(declaration.file, copy.template.endpoint, locals, map[string]bool{})
+				if endpoint != "" {
+					copy.Endpoint = endpoint
+				}
+				if resolvedPath := pathOf(copy.template.endpoint, copy.Endpoint); resolvedPath != "" {
+					copy.Path = resolvedPath
+				}
+				copy.ID = rawCallID(copy.Method, copy.Path)
+			}
+			copy.Chain = append([]string(nil), path...)
+			out = append(out, copy)
+			continue
+		}
+		nextBindings := map[string]string{}
+		if target := s.functions[item.edge.target]; target != nil && declaration != nil {
+			params := functionParams(target.fn)
+			for index, name := range params {
+				if name == "" || index >= len(item.edge.args) {
+					continue
+				}
+				value := s.value(declaration.file, item.edge.args[index], locals, map[string]bool{})
+				if value == "" {
+					value = httpMethod(item.edge.args[index])
+				}
+				if value != "" {
+					nextBindings[name] = value
+				}
+			}
+		}
+		out = append(out, s.collectCalls(item.edge.target, edges, direct, path, nextBindings, visiting, depth+1)...)
+	}
+	return uniqueFlowCalls(out)
+}
+
+func (s *scanner) localTarget(owner *functionDecl, expr ast.Expr) string {
+	switch call := expr.(type) {
+	case *ast.Ident:
+		candidate := call.Name
+		if owner.file.dir != "." && owner.file.dir != "" {
+			candidate = owner.file.dir + ":" + candidate
+		}
+		if s.functions[candidate] != nil {
+			return candidate
+		}
+	case *ast.SelectorExpr:
+		if ident, ok := call.X.(*ast.Ident); ok {
+			if imported := owner.file.imports[ident.Name]; imported != "" {
+				for key, fn := range s.functions {
+					if strings.HasSuffix(imported, "/"+fn.file.dir) && displayFunction(key) == call.Sel.Name {
+						return key
+					}
+				}
+			}
+			if receiverVariable(owner.fn) == ident.Name {
+				receiver := receiverName(owner.fn.Recv.List[0].Type)
+				candidate := owner.file.dir + ":" + receiver + "." + call.Sel.Name
+				if owner.file.dir == "." || owner.file.dir == "" {
+					candidate = receiver + "." + call.Sel.Name
+				}
+				if s.functions[candidate] != nil {
+					return candidate
+				}
+			}
+		}
+		// Resolve methods invoked through a receiver field from that field's
+		// declared type. This covers both concrete clients and imported client
+		// interfaces without linking arbitrary selectors such as Body.Close to
+		// an unrelated method that merely has the same name.
+		if target := s.receiverFieldMethodTarget(owner, call); target != "" {
+			return target
+		}
+	}
+	return ""
+}
+
+func receiverVariable(fn *ast.FuncDecl) string {
+	if fn.Recv == nil || len(fn.Recv.List) == 0 || len(fn.Recv.List[0].Names) == 0 {
+		return ""
+	}
+	return fn.Recv.List[0].Names[0].Name
+}
+
+func (s *scanner) receiverFieldMethodTarget(owner *functionDecl, call *ast.SelectorExpr) string {
+	fieldSelector, ok := call.X.(*ast.SelectorExpr)
+	if !ok {
+		return ""
+	}
+	root, ok := fieldSelector.X.(*ast.Ident)
+	if !ok || root.Name != receiverVariable(owner.fn) {
+		return ""
+	}
+	receiver := receiverName(owner.fn.Recv.List[0].Type)
+	var fieldType endpointType
+	for _, file := range s.files {
+		if file.dir != owner.file.dir {
+			continue
+		}
+		for _, declaration := range file.node.Decls {
+			generic, ok := declaration.(*ast.GenDecl)
+			if !ok || generic.Tok != token.TYPE {
+				continue
+			}
+			for _, spec := range generic.Specs {
+				typeSpec, ok := spec.(*ast.TypeSpec)
+				if !ok || typeSpec.Name.Name != receiver {
+					continue
+				}
+				structure, ok := typeSpec.Type.(*ast.StructType)
+				if !ok {
+					continue
+				}
+				for _, field := range structure.Fields.List {
+					for _, name := range field.Names {
+						if name.Name == fieldSelector.Sel.Name {
+							fieldType, _ = s.typeExpression(file, field.Type)
+						}
+					}
+				}
+			}
+		}
+	}
+	if fieldType.name == "" {
+		return ""
+	}
+	if key := s.methodKey(fieldType, call.Sel.Name); s.functions[key] != nil {
+		return key
+	}
+	if !s.interfaceHasMethod(fieldType, call.Sel.Name) {
+		return ""
+	}
+	ownerType := endpointType{dir: owner.file.dir, name: receiver}
+	var wiredCandidates []string
+	for _, concreteType := range s.fieldTypes[fieldTypeKey(ownerType, fieldSelector.Sel.Name)] {
+		if key := s.methodKey(concreteType, call.Sel.Name); key != "" {
+			wiredCandidates = append(wiredCandidates, key)
+		}
+	}
+	wiredCandidates = uniqueStrings(wiredCandidates)
+	if len(wiredCandidates) == 1 {
+		return wiredCandidates[0]
+	}
+	if len(wiredCandidates) > 1 {
+		return ""
+	}
+	var localCandidates []string
+	for _, key := range s.methods[call.Sel.Name] {
+		dir, _, qualified := strings.Cut(key, ":")
+		if !qualified {
+			dir = "."
+		}
+		if dir == fieldType.dir {
+			localCandidates = append(localCandidates, key)
+		}
+	}
+	if len(localCandidates) == 1 {
+		return localCandidates[0]
+	}
+	if candidates := s.methods[call.Sel.Name]; len(candidates) == 1 {
+		return candidates[0]
+	}
+	return ""
+}
+
+func (s *scanner) interfaceHasMethod(typ endpointType, methodName string) bool {
+	for _, file := range s.files {
+		if file.dir != typ.dir {
+			continue
+		}
+		for _, declaration := range file.node.Decls {
+			generic, ok := declaration.(*ast.GenDecl)
+			if !ok || generic.Tok != token.TYPE {
+				continue
+			}
+			for _, spec := range generic.Specs {
+				typeSpec, ok := spec.(*ast.TypeSpec)
+				if !ok || typeSpec.Name.Name != typ.name {
+					continue
+				}
+				iface, ok := typeSpec.Type.(*ast.InterfaceType)
+				if !ok {
+					return false
+				}
+				for _, method := range iface.Methods.List {
+					for _, name := range method.Names {
+						if name.Name == methodName {
+							return true
+						}
+					}
+				}
+			}
+		}
+	}
+	return false
+}
+
+func exportedFlowFunction(key string) bool {
+	name := displayFunction(key)
+	if at := strings.LastIndex(name, "."); at >= 0 {
+		name = name[at+1:]
+	}
+	if name == "" {
+		return false
+	}
+	for _, first := range name {
+		return unicode.IsUpper(first)
+	}
+	return false
+}
+
+func (s *scanner) technicalFlowFunction(key string) bool {
+	name := strings.ToLower(displayFunction(key))
+	method := false
+	if at := strings.LastIndex(name, "."); at >= 0 {
+		name = name[at+1:]
+		method = true
+	}
+	switch name {
+	case "main", "new", "dorequest", "request", "roundtrip", "call", "do", "send", "flush", "decode", "encode", "getbytes", "postbytes", "postjsonbytes":
+		return true
+	case "init":
+		// Package init is assembly code. An exported method named Init is often
+		// the business operation itself (for example, initializing a booking).
+		return !method
+	}
+	if name == "run" {
+		if declaration := s.functions[key]; declaration != nil {
+			dir := "/" + filepath.ToSlash(declaration.file.dir) + "/"
+			return strings.Contains(dir, "/cmd/") || strings.Contains(dir, "/app/")
+		}
+	}
+	return strings.HasPrefix(name, "new") && strings.HasSuffix(name, "client")
+}
+
+func displayFunction(key string) string {
+	if _, name, ok := strings.Cut(key, ":"); ok {
+		return name
+	}
+	return key
+}
+
+func uniqueFlowCalls(in []Call) []Call {
+	seen := map[string]bool{}
+	out := make([]Call, 0, len(in))
+	for _, call := range in {
+		key := call.Source.String() + "\x00" + call.ID
+		if !seen[key] {
+			seen[key] = true
+			out = append(out, call)
+		}
+	}
+	return out
+}