Predicate signature InputSig::allowParameterReturnInSelf
Holds if flow is allowed to pass from parameter p
and back to itself as a
side-effect, resulting in a summary from p
to itself.
One example would be to allow flow like p.foo = p.bar;
, which is disallowed
by default as a heuristic.
signature predicate allowParameterReturnInSelf(ParameterNode p)