Predicate MakeImpl::Impl::MkStage::Stage::parameterMayFlowThrough
Import path
import codeql.dataflow.internal.DataFlowImpl
predicate parameterMayFlowThrough(ParamNodeEx p, boolean emptyAp)
import codeql.dataflow.internal.DataFlowImpl
predicate parameterMayFlowThrough(ParamNodeEx p, boolean emptyAp)