A taint-tracking configuration to reason about overflow from arithmetic with uncontrolled values.
Import path
import semmle.code.java.security.ArithmeticUncontrolledQuery
A taint-tracking configuration to reason about overflow from arithmetic with uncontrolled values.
import semmle.code.java.security.ArithmeticUncontrolledQuery