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.ArithmeticCommonpredicate 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.ArithmeticCommonpredicate underflowSink(ArithExpr exp, VarAccess use)