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

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

import semmle.code.java.dataflow.internal.FlowSummaryImpl
predicate prohibitsUseUseFlow(ArgNode arg, SummarizedCallable sc)