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. |
Modules
| ArithmeticTaintedLocalOverflowConfig | A taint-tracking configuration to reason about arithmetic overflow using local-user-controlled data. |
| ArithmeticTaintedLocalUnderflowConfig | A taint-tracking configuration to reason about arithmetic underflow using local-user-controlled data. |
Aliases
| ArithmeticTaintedLocalOverflowFlow | Taint-tracking flow for arithmetic overflow using local-user-controlled data. |
| ArithmeticTaintedLocalUnderflowFlow | Taint-tracking flow for arithmetic underflow using local-user-controlled data. |