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