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