CodeQL library for Java/Kotlin

codeql/java-all 7.1.3-dev (changelog, source)

Module ArithmeticTaintedQuery

Provides taint-tracking configurations to reason about arithmetic with unvalidated input.

Import path

import semmle.code.java.security.ArithmeticTaintedQuery

Imports

java	Provides all default Java QL imports.

Modules

ArithmeticOverflowConfig	A taint-tracking configuration to reason about overflow from unvalidated input.
ArithmeticUnderflowConfig	A taint-tracking configuration to reason about underflow from unvalidated input.

Aliases

ArithmeticOverflow	Taint-tracking flow for overflow from unvalidated input.
ArithmeticUnderflow	Taint-tracking flow for underflow from unvalidated input.
RemoteUserInputOverflow	DEPRECATED: Use `ArithmeticOverflow` instead.
RemoteUserInputOverflowConfig	DEPRECATED: Use `ArithmeticOverflowConfig` instead.
RemoteUserInputUnderflow	DEPRECATED: Use `ArithmeticUnderflow` instead.
RemoteUserInputUnderflowConfig	DEPRECATED: Use `ArithmeticUnderflowConfig` instead.