Module ArithmeticUncontrolledQuery
Provides taint-tracking configuration to reason about arithmetic with uncontrolled values.
Import path
import semmle.code.java.security.ArithmeticUncontrolledQueryImports
| java | Provides all default Java QL imports. |
Modules
| ArithmeticUncontrolledOverflowConfig | A taint-tracking configuration to reason about overflow from arithmetic with uncontrolled values. |
| ArithmeticUncontrolledUnderflowConfig | A taint-tracking configuration to reason about underflow from arithmetic with uncontrolled values. |
Aliases
| ArithmeticUncontrolledOverflowFlow | Taint-tracking flow to reason about overflow from arithmetic with uncontrolled values. |
| ArithmeticUncontrolledUnderflowFlow | Taint-tracking flow to reason about underflow from arithmetic with uncontrolled values. |