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
)