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)