Predicate attributeStoreStep
Holds if nodeFrom flows into the attribute c of nodeTo via an attribute assignment.
For example, in
obj.foo = x
data flows from x to the attribute foo of (the post-update node for) obj.
Import path
import semmle.python.dataflow.new.internal.DataFlowPrivatepredicate attributeStoreStep(Node nodeFrom, AttributeContent c, Node nodeTo)