Predicate MakeImpl::Impl::Stage1::parameterMayFlowThrough
Holds if flow may enter through p
and reach a return node making p
a
candidate for the origin of a summary.
Import path
import codeql.dataflow.internal.DataFlowImpl
predicate parameterMayFlowThrough(ParamNodeEx p, Ap ap)