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