Python: dict only has one positional argument

yoff · yoff · commit 315890680cc3 · 2024-10-01T16:48:43.000+02:00
diff --git a/python/ql/lib/semmle/python/frameworks/Stdlib.qll b/python/ql/lib/semmle/python/frameworks/Stdlib.qll
@@ -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
       )

Original file line number	Diff line number	Diff line change
`@@ -4219,7 +4219,7 @@ module StdlibPrivate {`
`4219`	`4219`
`4220`	`4220`	`override predicate propagatesFlow(string input, string output, boolean preservesValue) {`
`4221`	`4221`	`exists(DataFlow::DictionaryElementContent dc, string key \| key = dc.getKey() \|`
`4222`		`- input = "Argument[0..].DictionaryElement[" + key + "]" and`
	`4222`	`+ input = "Argument[0].DictionaryElement[" + key + "]" and`
`4223`	`4223`	`output = "ReturnValue.DictionaryElement[" + key + "]" and`
`4224`	`4224`	`preservesValue = true`
`4225`	`4225`	`)`