CodeQL library for Java
codeql/java-all 0.6.2 ( changelog , source )

Predicate 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 =;, which is disallowed by default as a heuristic.

Import path

predicate allowParameterReturnInSelf ( ParameterNode p )