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

python: remove spurious return flow

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2023-06-14 13:35:37 +02:00
parent 38cca08a86
commit 3b558a0044
1 changed files with 0 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
python/ql/lib/semmle/python/frameworks/Stdlib.qll
View File

@@ -4339,11 +4339,6 @@ private module StdlibPrivate {
output = "ReturnValue.ListElement" and
preservesValue = true
or
// newly added element returned
input = "Argument[0]" and
output = "ReturnValue.ListElement" and
preservesValue = true
or
// newly added element added to this
input = "Argument[0]" and
output = "Argument[self].ListElement" and
@@ -4353,11 +4348,6 @@ private module StdlibPrivate {
input = "Argument[0]" and
output = "Argument[self]" and
preservesValue = false
or
// transfer taint from new element to return value
input = "Argument[0]" and
output = "ReturnValue" and
preservesValue = false
}
}
@@ -4381,11 +4371,6 @@ private module StdlibPrivate {
output = "ReturnValue.SetElement" and
preservesValue = true
or
// newly added element returned
input = "Argument[0]" and
output = "ReturnValue.SetElement" and
preservesValue = true
or
// newly added element added to this
input = "Argument[0]" and
output = "Argument[self].SetElement" and
@@ -4395,11 +4380,6 @@ private module StdlibPrivate {
input = "Argument[0]" and
output = "Argument[self]" and
preservesValue = false
or
// transfer taint from new element to return value
input = "Argument[0]" and
output = "ReturnValue" and
preservesValue = false
}
}
}