hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

Python: use concrete iterable source

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2020-09-03 11:25:41 +02:00
parent 8997799e4d
commit aad51af4ce
2 changed files with 3 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
python/ql/test/experimental/dataflow/regression/dataflow.expected
View File

@@ -17,8 +17,3 @@
| test.py:178:9:178:14 | ControlFlowNode for SOURCE | test.py:186:14:186:14 | ControlFlowNode for t |
| test.py:195:9:195:14 | ControlFlowNode for SOURCE | test.py:197:14:197:14 | ControlFlowNode for t |
| test.py:195:9:195:14 | ControlFlowNode for SOURCE | test.py:199:14:199:14 | ControlFlowNode for t |
| test.py:217:15:217:20 | ControlFlowNode for SOURCE | test.py:219:14:219:20 | ControlFlowNode for tainted |
| test.py:217:15:217:20 | ControlFlowNode for SOURCE | test.py:220:10:220:16 | ControlFlowNode for tainted |
| test.py:223:15:223:20 | ControlFlowNode for SOURCE | test.py:226:10:226:16 | ControlFlowNode for tainted |
| test.py:229:15:229:20 | ControlFlowNode for SOURCE | test.py:231:14:231:20 | ControlFlowNode for tainted |
| test.py:229:15:229:20 | ControlFlowNode for SOURCE | test.py:233:14:233:20 | ControlFlowNode for tainted |

6
python/ql/test/experimental/dataflow/regression/test.py
View File

@@ -199,10 +199,10 @@ def flow_through_type_test_if_no_class():
SINK(t) # ..and here
def flow_in_iteration():
t = ITERABLE_SOURCE # Seems to not be sunk anywhere
t = [SOURCE]
for i in t:
SINK(i)
SINK(i)
SINK(i) # Flow not found
SINK(i) # Flow not found
def flow_in_generator():
seq = [SOURCE]