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

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 )