hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Python: Remove one more unnecessary taint test

Browse Source
This commit is contained in:
Rasmus Wriedt Larsen
2023-06-26 12:00:15 +02:00
parent 6cb03190fa
commit 257f9912dd
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/test/experimental/dataflow/model-summaries/model_summaries.py
View File

@@ -44,8 +44,6 @@ SINK(via_lambda[0]) # $ flow="SOURCE, l:-1 -> via_lambda[0]"
not_via_lambda = MS_apply_lambda(lambda x: 1, SOURCE)
SINK_F(not_via_lambda)
untainted_lambda = MS_apply_lambda(lambda x: 1, TAINTED_STRING)
ensure_not_tainted(untainted_lambda)
# Collection summaries
via_reversed = MS_reversed([SOURCE])