Predicate Private::summaryAllowParameterReturnInSelf
Holds if flow is allowed to pass from parameter p
, to a return
node, and back out to p
.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
predicate summaryAllowParameterReturnInSelf(ParamNode p)