Python: add taint test for urllib

This commit is contained in:
Rasmus Lerchedahl Petersen
2024-09-24 20:49:05 +02:00
parent 91f1cf10a7
commit 0462809edc
3 changed files with 16 additions and 0 deletions

View File

@@ -0,0 +1,4 @@
argumentToEnsureNotTaintedNotMarkedAsSpurious
untaintedArgumentToEnsureTaintedNotMarkedAsMissing
testFailures
failures

View File

@@ -0,0 +1,2 @@
import experimental.meta.InlineTaintTest
import MakeInlineTaintTest<TestTaintTrackingConfig>

View File

@@ -0,0 +1,10 @@
import urllib.parse
def test():
ts = TAINTED_STRING
params = urllib.parse.parse_qs(ts)
ensure_tainted(
params, # $ MISSING: tainted
)