matchParams match the params of the caller to the values used from the callee A function (callee) has a field Params which offers the params. matchParams has a param with the params of the caller and the lattice. For matching we assume that the order of the params between callee and caller is equal.
(pcaller []ssa.Value, lcaller lattice.Latticer, callee *ssa.Function, isClosure bool)
source not stored for this graph (policy: none)
no test coverage detected