Module PointsToInternal

Import path

import semmle.python.pointsto.PointsTo

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`.