Module ArithmeticTaintedQuery
Provides taint-tracking configurations to reason about arithmetic with unvalidated input.
Import path
import semmle.code.java.security.ArithmeticTaintedQueryImports
| 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. |