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
)