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

Module TypeFlowBounds

Import path

import semmle.code.java.dataflow.TypeFlow

Predicates

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.

exprUnionTypeFlow

Holds if the runtime type of e is bounded by a union type and if this bound is likely to be better than the static type of e. The union type is made up of the types t related to e by this predicate, and the flag exact indicates whether t is an exact bound or merely an upper bound.

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.