Module ArithmeticTaintedLocalQuery

Provides taint-tracking configurations to reason about arithmetic using local-user-controlled data.

Import path

import semmle.code.java.security.ArithmeticTaintedLocalQuery

java	Provides all default Java QL imports.

ArithmeticTaintedLocalOverflowConfig	DEPRECATED: Use `ArithmeticOverflowConfig` instead.
ArithmeticTaintedLocalUnderflowConfig	A taint-tracking configuration to reason about arithmetic underflow using local-user-controlled data.

ArithmeticTaintedLocalOverflowFlow	DEPRECATED: Use `ArithmeticOverflow` instead and configure threat model sources to include `local`.
ArithmeticTaintedLocalUnderflowFlow	DEPRECATED: Use `ArithmeticUnderflow` instead and configure threat model sources to include `local`.