hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Apply suggestions from code review

Browse Source 
Co-authored-by: Taus <tausbn@github.com>
This commit is contained in:
yoff
2021-03-12 18:36:20 +01:00
committed by Rasmus Lerchedahl Petersen
parent 4d856d4461
commit 63b732ce1f
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/src/semmle/python/dataflow/new/internal/DataFlowPublic.qll
View File

@@ -141,7 +141,7 @@ class Node extends TNode {
LocalSourceNode getALocalSource() { result.flowsTo(this) }
/**
* Gets a local source node from which data may flow to this node in zero or more local steps.
* Gets a local source node from which data may flow to this node in zero or more local taint-flow steps.
*/
LocalSourceNode getALocalTaintSource() { result.taintFlowsTo(this) }
}

4
python/ql/src/semmle/python/dataflow/new/internal/LocalSources.qll
View File

@@ -71,7 +71,7 @@ private module Cached {
*/
cached
predicate hasLocalSource(Node sink, Node source) {
// Declaring `source` to be a `SourceNode` currently causes a redundant check in the
// Declaring `source` to be a `LocalSourceNode` currently causes a redundant check in the
// recursive case, so instead we check it explicitly here.
source = sink and
source instanceof LocalSourceNode
@@ -89,7 +89,7 @@ private module Cached {
*/
cached
predicate hasLocalTaintSource(Node sink, Node source) {
// Declaring `source` to be a `SourceNode` currently causes a redundant check in the
// Declaring `source` to be a `LocalSourceNode` currently causes a redundant check in the
// recursive case, so instead we check it explicitly here.
source = sink and
source instanceof LocalSourceNode