Change getASuccessor() to getASubscript()

sylwia-budzynska · sylwia-budzynska · commit 944f8842b77f · 2024-05-08T14:44:06.000+02:00
diff --git a/python/ql/lib/semmle/python/frameworks/Gradio.qll b/python/ql/lib/semmle/python/frameworks/Gradio.qll
@@ -58,9 +58,9 @@ module Gradio {
             call.getParameter(1).asSink().asCfgNode() instanceof ListNode
           ) and
           (
-            this = call.getKeywordParameter("inputs").getASuccessor().getAValueReachingSink()
+            this = call.getKeywordParameter("inputs").getASubscript().getAValueReachingSink()
             or
-            this = call.getParameter(1).getASuccessor().getAValueReachingSink()
+            this = call.getParameter(1).getASubscript().getAValueReachingSink()
           )
         )
       )

Original file line number	Diff line number	Diff line change
`@@ -58,9 +58,9 @@ module Gradio {`
`58`	`58`	`call.getParameter(1).asSink().asCfgNode() instanceof ListNode`
`59`	`59`	`) and`
`60`	`60`	`(`
`61`		`- this = call.getKeywordParameter("inputs").getASuccessor().getAValueReachingSink()`
	`61`	`+ this = call.getKeywordParameter("inputs").getASubscript().getAValueReachingSink()`
`62`	`62`	`or`
`63`		`- this = call.getParameter(1).getASuccessor().getAValueReachingSink()`
	`63`	`+ this = call.getParameter(1).getASubscript().getAValueReachingSink()`
`64`	`64`	`)`
`65`	`65`	`)`
`66`	`66`	`)`