CodeQL library for Python
codeql/python-all 0.10.5 ( 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 )