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

Update python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll

Browse Source 
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
This commit is contained in:
yoff
2020-08-19 08:03:47 +02:00
committed by GitHub
parent 06bd436aea
commit 5e84754f73
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
View File

@@ -328,7 +328,7 @@ predicate readStep(Node nodeFrom, Content c, Node nodeTo) {
// `[x+1 for x in l]`
// nodeFrom is `l`, cfg node
// nodeTo is `x`, essa var
// c denotes list or set
// c denotes element of list or set
exists(For f, Comp comp |
f = getCompFor(comp) and
nodeFrom.(CfgNode).getNode().(SequenceNode).getNode() = getCompIter(comp) and