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

Python: all dict constructor args are relevant

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2024-09-24 20:58:59 +02:00
parent 4dbb15ddda
commit 112e7c95fa
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -4219,7 +4219,7 @@ module StdlibPrivate {
override predicate propagatesFlow(string input, string output, boolean preservesValue) {
exists(DataFlow::DictionaryElementContent dc, string key | key = dc.getKey() |
input = "Argument[0].DictionaryElement[" + key + "]" and
input = "Argument[0..].DictionaryElement[" + key + "]" and
output = "ReturnValue.DictionaryElement[" + key + "]" and
preservesValue = true
)
@@ -4230,7 +4230,7 @@ module StdlibPrivate {
preservesValue = true
)
or
input = "Argument[0]" and
input = "Argument[0..]" and
output = "ReturnValue" and
preservesValue = false
}