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

Member predicate SpecificInstanceInternal :: 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 )