Skip to content

Commit 63b732c

Browse files
yofftausbn
andcommitted
Apply suggestions from code review
Co-authored-by: Taus <[email protected]>
1 parent 4d856d4 commit 63b732c

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

python/ql/src/semmle/python/dataflow/new/internal/DataFlowPublic.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -141,7 +141,7 @@ class Node extends TNode {
141141
LocalSourceNode getALocalSource() { result.flowsTo(this) }
142142

143143
/**
144-
* Gets a local source node from which data may flow to this node in zero or more local steps.
144+
* Gets a local source node from which data may flow to this node in zero or more local taint-flow steps.
145145
*/
146146
LocalSourceNode getALocalTaintSource() { result.taintFlowsTo(this) }
147147
}

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -71,7 +71,7 @@ private module Cached {
7171
*/
7272
cached
7373
predicate hasLocalSource(Node sink, Node source) {
74-
// Declaring `source` to be a `SourceNode` currently causes a redundant check in the
74+
// Declaring `source` to be a `LocalSourceNode` currently causes a redundant check in the
7575
// recursive case, so instead we check it explicitly here.
7676
source = sink and
7777
source instanceof LocalSourceNode
@@ -89,7 +89,7 @@ private module Cached {
8989
*/
9090
cached
9191
predicate hasLocalTaintSource(Node sink, Node source) {
92-
// Declaring `source` to be a `SourceNode` currently causes a redundant check in the
92+
// Declaring `source` to be a `LocalSourceNode` currently causes a redundant check in the
9393
// recursive case, so instead we check it explicitly here.
9494
source = sink and
9595
source instanceof LocalSourceNode

0 commit comments

Comments
 (0)