Module ArithmeticTaintedQuery
Provides taint-tracking configurations to reason about arithmetic with unvalidated user input.
Import path
import semmle.code.java.security.ArithmeticTaintedQueryImports
| java | Provides all default Java QL imports. |
Modules
| RemoteUserInputOverflowConfig | A taint-tracking configuration to reason about overflow from unvalidated user input. |
| RemoteUserInputUnderflowConfig | A taint-tracking configuration to reason about underflow from unvalidated user input. |
Aliases
| RemoteUserInputOverflow | Taint-tracking flow for overflow from unvalidated user input. |
| RemoteUserInputUnderflow | Taint-tracking flow for underflow from unvalidated user input. |