Skip to content

Commit 7a3ee0f

Browse files
committed
Python: Make IterableSequenceNode LocalSourceNode
We do this to remove the inconsistencies, and to be ready for a future where type-tracking support content tracker of depth > 1. It works because targets of loadSteps needs to be LocalSourceNodes predicate loadStep(Node nodeFrom, LocalSourceNode nodeTo, Content content) {
1 parent 6ffaad1 commit 7a3ee0f

File tree

2 files changed

+2
-13
lines changed

2 files changed

+2
-13
lines changed

python/ql/lib/semmle/python/dataflow/new/internal/LocalSources.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -74,6 +74,8 @@ class LocalSourceNode extends Node {
7474
this instanceof ScopeEntryDefinitionNode
7575
or
7676
this instanceof ParameterNode
77+
or
78+
this instanceof IterableSequenceNode
7779
}
7880

7981
/** Holds if this `LocalSourceNode` can flow to `nodeTo` in one or more local flow steps. */

python/ql/test/experimental/dataflow/typetracking/CONSISTENCY/TypeTrackingConsistency.expected

Lines changed: 0 additions & 13 deletions
This file was deleted.

0 commit comments

Comments
 (0)