Module TypeFlowBounds
Import path
import semmle.code.java.dataflow.TypeFlow
Predicates
exprTypeFlow |
Holds if the runtime type of |
exprUnionTypeFlow |
Holds if the runtime type of |
fieldTypeFlow |
Holds if the runtime type of |