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

Predicate TypeFlowBounds::fieldTypeFlow

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

Import path

predicate fieldTypeFlow(Field f, RefType t, boolean exact)