CodeQL library for Java/Kotlin
codeql/java-all 1.1.3-dev (changelog, source)
Search

Predicate TypeFlowBounds::exprTypeFlow

Holds if the runtime type of e is bounded by t and if this bound is likely to be better than the static type of e. The flag exact indicates whether t is an exact bound or merely an upper bound.

Import path

import semmle.code.java.dataflow.TypeFlow
predicate exprTypeFlow(Expr e, RefType t, boolean exact)