Predicate InterProceduralPointsTo::named_argument_transfer
Holds if the named argument
given the context caller
is transferred to the parameter param
with context callee
by a call.
Import path
import semmle.python.pointsto.PointsTo
predicate named_argument_transfer(ControlFlowNode argument, PointsToContext caller, ParameterDefinition param, PointsToContext callee)