CodeQL library for Python
codeql/python-all 0.6.4 (changelog, source)
Search

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)