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

Member predicate UndefinedInternal::introducedAt

Holds if this object is introduced into the code base at node given the context This means that node, in context, points-to this object, but the object has not flowed there from anywhere else. Examples:

  • The object None is “introduced” by the keyword “None”.
  • A bound method would be “introduced” when relevant attribute on an instance is accessed. In x = X(); x.m x.m introduces the bound method.
predicate introducedAt(ControlFlowNode node, PointsToContext context)