Predicate ArithmeticUncontrolledOverflowConfig::isSink
Holds if sink is a relevant data flow sink.
Import path
import semmle.code.java.security.ArithmeticUncontrolledQueryHolds if sink is a relevant data flow sink.
import semmle.code.java.security.ArithmeticUncontrolledQuery