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)