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)