Predicate MakeImpl::Impl::Stage1::callEdgeArgParam
Import path
import codeql.dataflow.internal.DataFlowImpl
predicate callEdgeArgParam(DataFlowCall call, DataFlowCallable c, ArgNodeEx arg, ParamNodeEx p, boolean emptyAp)
import codeql.dataflow.internal.DataFlowImpl
predicate callEdgeArgParam(DataFlowCall call, DataFlowCallable c, ArgNodeEx arg, ParamNodeEx p, boolean emptyAp)