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