Python: dict only has one positional argument

This commit is contained in:
Rasmus Lerchedahl Petersen
2024-10-01 16:48:43 +02:00
parent 62509a10c2
commit 315890680c

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
)