Predicate InterProceduralPointsTo :: call_points_to
Import path
import semmle.python.pointsto.PointsTo
predicate
call_points_to
(
CallNode
f
,
PointsToContext
context
,
ObjectInternal
value
,
ControlFlowNode
origin
)