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

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.DataFlowPrivate
predicate attributeStoreStep(Node nodeFrom, AttributeContent c, Node nodeTo)