Module ArithmeticTaintedLocalQuery
Provides taint-tracking configurations to reason about arithmetic using local-user-controlled data.
Import path
import semmle.code.java.security.ArithmeticTaintedLocalQueryImports
| java | Provides all default Java QL imports. |