Predicate attributeReadStep

Holds if nodeTo is a read of the attribute c of the object nodeFrom.

For example

obj.foo

is a read of the attribute foo from the object obj.

Import path

import semmle.python.dataflow.new.internal.DataFlowPrivate

predicate attributeReadStep(Node nodeFrom, AttributeContent c, AttrRead nodeTo)