Predicate iterableUnpackingElementReadStep

Step 5 For a sequence node inside an iterable unpacking, data flows from the sequence to its elements. There are three cases for what toNode should be: a) If the element is a plain variable, toNode is the corresponding essa node.

b) If the element is itself a sequence, with control-flow node `seq`, `toNode` is `TIterableSequence(seq)`.

c) If the element is a starred variable, with control-flow node `v`, `toNode` is `TIterableElement(v)`.

Import path


                                import semmle.python.dataflow.new.internal.IterableUnpacking


                            
                                
                                    predicate
                                
                                 
                            
                            
                                iterableUnpackingElementReadStep
                            
                            
                                (
                                
                                    
                                        Node
                                    
                                     
                                    nodeFrom
                                
                                , 
                                
                                    
                                        Content
                                    
                                     
                                    c
                                
                                , 
                                
                                    
                                        Node
                                    
                                     
                                    nodeTo
                                
                                )