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.csharp.dataflow.internal.FlowSummaryImplpredicate summaryAllowParameterReturnInSelf(ParamNode p)