mirror of
https://github.com/github/codeql.git
synced 2025-12-20 18:56:32 +01:00
12 lines
380 B
Python
12 lines
380 B
Python
def impossible_flow(cond: bool):
|
|
TAINTED_STRING = "ts"
|
|
x = (TAINTED_STRING, 42) if cond else "SAFE"
|
|
|
|
if isinstance(x, str):
|
|
# tainted-flow to here is impossible, replicated from path-flow seen in a real
|
|
# repo.
|
|
ensure_not_tainted(x) # $ SPURIOUS: tainted
|
|
else:
|
|
ensure_tainted(x) # $ tainted
|
|
ensure_tainted(x[0]) # $ tainted
|