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

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

predicate exprTypeFlow ( Expr e , RefType t , boolean exact )