CodeQL library for Java
codeql/java-all 0.5.1 (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)