CodeQL library for Python
codeql/python-all 0.11.9 (changelog, source)
Search

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

Import path

import semmle.python.dataflow.new.internal.DataFlowPrivate
predicate allowParameterReturnInSelf(ParameterNode p)