CodeQL library for Python
codeql/python-all 0.6.4 (changelog, source)
Search

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)