DEPRECATED: Use ArithmeticOverflowConfig
instead.
A taint-tracking configuration to reason about arithmetic overflow using local-user-controlled data.
Import path
import semmle.code.java.security.ArithmeticTaintedLocalQuery
Predicates
isBarrier | Holds if data flow through |
isBarrierIn | Holds if data flow into |
isSink | Holds if |
isSource | Holds if |