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

Predicate yieldStoreStep

Holds if nodeFrom is the value yielded by the yield found at nodeTo.

For example, in

for x in l:
  yield x.name

data from x.name is stored into the yield (and can subsequently be read out of the iterable).

Import path

import semmle.python.dataflow.new.internal.DataFlowPrivate
predicate yieldStoreStep(Node nodeFrom, Content c, Node nodeTo)