Predicate ArithmeticUnderflowConfig::isSink
Holds if sink is a relevant data flow sink.
Import path
import semmle.code.java.security.ArithmeticTaintedQueryHolds if sink is a relevant data flow sink.
import semmle.code.java.security.ArithmeticTaintedQuery