Predicate ArithmeticTaintedLocalUnderflowConfig::isSink
Holds if sink is a relevant data flow sink.
Import path
import semmle.code.java.security.ArithmeticTaintedLocalQueryHolds if sink is a relevant data flow sink.
import semmle.code.java.security.ArithmeticTaintedLocalQuery