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

Python: Final(?!) fix of annotations

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2021-01-14 01:06:10 +01:00
parent e3199fbbe2
commit 6dc0d691ac
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
python/ql/test/experimental/dataflow/coverage/test.py
View File

@@ -597,7 +597,7 @@ def test_iterated_unpacking_assignment_conversion():
SINK(a1)
SINK_F(a2) # The list itself is not tainted
SINK_F(a2[0])
SINK(a2[1]) # Flow not found
SINK(a2[1]) # Flow not found since `*a2` does not know to read from index 2
SINK_F(b) # The list itself is not tainted
SINK_F(b[0])
@@ -606,7 +606,7 @@ def test_iterated_unpacking_assignment_conversion():
SINK(a1)
SINK_F(a2) # The list itself is not tainted
SINK_F(a2[0])
SINK(a2[1]) # Flow not found
SINK(a2[1]) # Flow not found since `*a2` does not know to read from index 2
SINK_F(b) # The list itself is not tainted
SINK_F(b[0]) # Expected FP here due to list abstraction