Module NumericCastFlowConfig
A taint-tracking configuration for reasoning about user input that is used in a numeric cast.
Import path
import semmle.code.java.security.NumericCastTaintedQuery
Predicates
isBarrier | Holds if data flow through |
isBarrierIn | Holds if data flow into |
isSink | Holds if |
isSource | Holds if |