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

Module PointsToInternal

Import path

import semmle.python.pointsto.PointsTo

Predicates

attributeRequired

Holds if the attribute name is required for obj For object x and attribute name it means that there exists somewhere in the code x.name or getattr(x, "name").

importCtxPointsTo
module_imported_as
pointsTo

INTERNAL – Use f.refersTo(value, origin) instead.

pointsToString
reachableBlock
ssa_phi_reachable_from_input
variablePointsTo

Holds if var refers to (value, origin) given the context context.