Predicate normalCallArg
Holds if the argument of call
at position apos
is arg
. This is just a helper
predicate that maps ArgumentPositions to the arguments of the underlying CallNode
.
Import path
import semmle.python.dataflow.new.internal.DataFlowDispatch
predicate normalCallArg(CallNode call, Node arg, ArgumentPosition apos)