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

python: add tests for guards compared to booleans

Browse Source
This commit is contained in:
yoff
2026-02-08 09:32:23 +01:00
parent 0151e8427c
commit 8488039fb9
1 changed files with 44 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

44
python/ql/test/library-tests/dataflow/tainttracking/customSanitizer/test_logical.py
View File

@@ -192,6 +192,49 @@ def test_with_exception_neg():
ensure_not_tainted(s)
def test_comparison_with_bool():
s = TAINTED_STRING
if is_safe(s) == True:
ensure_not_tainted(s) # $ SPURIOUS: tainted
else:
ensure_tainted(s) # $ tainted
if is_safe(s) == False:
ensure_tainted(s) # $ tainted
else:
ensure_not_tainted(s) # $ SPURIOUS: tainted
if is_safe(s) != True:
ensure_tainted(s) # $ tainted
else:
ensure_not_tainted(s) # $ SPURIOUS: tainted
if is_safe(s) != False:
ensure_not_tainted(s) # $ SPURIOUS: tainted
else:
ensure_tainted(s) # $ tainted
if is_safe(s) is True:
ensure_not_tainted(s) # $ SPURIOUS: tainted
else:
ensure_tainted(s) # $ tainted
if is_safe(s) is False:
ensure_tainted(s) # $ tainted
else:
ensure_not_tainted(s) # $ SPURIOUS: tainted
if is_safe(s) is not True:
ensure_tainted(s) # $ tainted
else:
ensure_not_tainted(s) # $ SPURIOUS: tainted
if is_safe(s) is not False:
ensure_not_tainted(s) # $ SPURIOUS: tainted
else:
ensure_tainted(s) # $ tainted
# Make tests runable
test_basic()
@@ -211,3 +254,4 @@ try:
test_with_exception_neg()
except:
pass
test_comparison_with_bool()