Predicate Cached::viableParamArg
Holds if arg
is a possible argument to p
in call
, taking virtual
dispatch into account.
Import path
import semmle.code.java.dataflow.internal.DataFlowImplCommon
predicate viableParamArg(DataFlowCall call, ParamNode p, ArgNode arg)