Predicate argumentPositionMatch
Holds if arg
is an argument of call
with an argument position that matches
parameter position ppos
.
Import path
import semmle.code.java.dataflow.internal.DataFlowImplCommon
predicate argumentPositionMatch(DataFlowCall call, ArgNode arg, ParameterPosition ppos)