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.DataFlowImplpredicate parameterMayFlowThrough(ParamNodeEx p, boolean emptyAp)