Predicate InterProceduralPointsTo :: callWithContext
Import path
import semmle.python.pointsto.PointsTo
predicate
callWithContext
(
CallNode
call
,
PointsToContext
caller
,
ObjectInternal
value
,
PointsToContext
callee
)