Skip to content

Commit 62fdb69

Browse files
Copilothvitved
andauthored
Remove redundant blunt taint fallback steps from ListExtend and ListInsert
Co-authored-by: hvitved <3667920+hvitved@users.noreply.github.com>
1 parent 1d1594e commit 62fdb69

1 file changed

Lines changed: 0 additions & 10 deletions

File tree

python/ql/lib/semmle/python/frameworks/Stdlib.qll

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -4906,11 +4906,6 @@ module StdlibPrivate {
49064906
) and
49074907
output = "Argument[self].ListElement" and
49084908
preservesValue = true
4909-
or
4910-
// transfer taint from new iterable to this (TODO: remove in future when taint-handling is more in line with other languages)
4911-
input = "Argument[0]" and
4912-
output = "Argument[self]" and
4913-
preservesValue = false
49144909
}
49154910
}
49164911

@@ -4935,11 +4930,6 @@ module StdlibPrivate {
49354930
input = "Argument[1]" and
49364931
output = "Argument[self].ListElement" and
49374932
preservesValue = true
4938-
or
4939-
// transfer taint from new element to this (TODO: remove in future when taint-handling is more in line with other languages)
4940-
input = "Argument[1]" and
4941-
output = "Argument[self]" and
4942-
preservesValue = false
49434933
}
49444934
}
49454935

0 commit comments

Comments
 (0)