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
)