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

Predicate InterProceduralPointsTo::callsite_calls_function

Holds if the call with context caller calls the function scope in context callee and the offset from argument to parameter is parameter_offset

Import path

import semmle.python.pointsto.PointsTo
predicate callsite_calls_function(CallNode call, PointsToContext caller, Function scope, PointsToContext callee, int parameter_offset)