Predicate InterProceduralPointsTo::varargs_tuple
Holds if call
in context caller
calls into the function scope scope
in context callee
and
that the number of position arguments (including expansion of *
argument) exceeds the number of positional arguments by
length
and that the excess arguments start at start
.
Import path
import semmle.python.pointsto.PointsTo
predicate varargs_tuple(CallNode call, PointsToContext caller, Function scope, PointsToContext callee, int start, int length)