Predicate underflowSink
Holds if use
is an operand of exp
that acts as a sink for
underflow-related dataflow.
Import path
import semmle.code.java.security.ArithmeticCommon
predicate underflowSink(ArithExpr exp, VarAccess use)
Holds if use
is an operand of exp
that acts as a sink for
underflow-related dataflow.
import semmle.code.java.security.ArithmeticCommon
predicate underflowSink(ArithExpr exp, VarAccess use)