Predicate InterProceduralPointsTo::positional_argument_points_to

Holds if the nth argument in call call with context caller points-to value from origin, including values in tuples expanded by a * argument. For example, for the call f('a', *(x,y)) the arguments are ('a', 'x', y')

Import path

import semmle.python.pointsto.PointsTo

predicate positional_argument_points_to(CallNode call, int n, PointsToContext caller, ObjectInternal value, ControlFlowNode origin)