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

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)