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
)