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