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: add test annotations

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2021-01-12 22:03:49 +01:00
parent a1ab5cc2b8
commit d8d8b45c6a
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -556,25 +556,25 @@ def test_unpacking_assignment_conversion():
# tuple
((a1, a2, a3), b, c) = ll
SINK(a1)
SINK(a1) # Flow not found
SINK_F(a2) # We expect an FP as all elements are tainted
SINK(a3)
SINK(a3) # Flow not found
SINK_F(b) # The list itself is not tainted
SINK_F(c)
# mixed
[(a1, a2, a3), b, c] = ll
SINK(a1)
SINK(a1) # Flow not found
SINK_F(a2) # We expect an FP as all elements are tainted
SINK(a3)
SINK(a3) # Flow not found
SINK_F(b) # The list itself is not tainted
SINK_F(c)
# mixed differently
([a1, a2, a3], b, c) = ll
SINK(a1)
SINK(a1) # Flow not found
SINK_F(a2) # We expect an FP as all elements are tainted
SINK(a3)
SINK(a3) # Flow not found
SINK_F(b) # The list itself is not tainted
SINK_F(c)