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)