Change getASuccessor() to getASubscript()

This commit is contained in:
Sylwia Budzynska
2024-05-08 14:44:06 +02:00
parent 8bb4193704
commit 944f8842b7

View File

@@ -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()
)
)
)