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

Predicate Private::Steps::prohibitsUseUseFlow

Holds if use-use flow starting from arg should be prohibited.

This is the case when arg is the argument of a call that targets a flow summary where the corresponding parameter either clears contents or expects contents.

Import path

predicate prohibitsUseUseFlow(ArgNode arg, SummarizedCallable sc)