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

Predicate iterableUnpackingConvertingReadStep

Step 3 Data flows from TIterableSequence(sequence) into TIterableElement(sequence). As sequence is modeled as a tuple, we will not read tuple content as that would allow crosstalk.

Import path

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