Predicate PointsToInternal :: variablePointsTo
Holds if var refers to (value, origin) given the context context.
Import path
import semmle.python.pointsto.PointsTo
predicate
variablePointsTo
(
EssaVariable
var
,
PointsToContext
context
,
ObjectInternal
value
,
CfgOrigin
origin
)