Module MaxValueFlowConfig
A dataflow configuration which tracks flow from maximum values to an overflow.
Import path
import semmle.code.java.security.ArithmeticWithExtremeValuesQuery
Predicates
isBarrier | Holds if data flow through |
isBarrierIn | Holds if data flow into |
isSink | Holds if |
isSource | Holds if |