Provides predicates and classes for reasoning about arithmetic with extreme values.
Import path
import semmle.code.java.security.ArithmeticWithExtremeValuesQueryImports
| java | Provides all default Java QL imports. |
Classes
| ExtremeSource | A variable access that refers to an extreme value. |
| ExtremeValueField | A field representing an extreme value. |
Modules
| MaxValueFlowConfig | A dataflow configuration which tracks flow from maximum values to an overflow. |
| MinValueFlowConfig | A dataflow configuration which tracks flow from minimum values to an underflow. |
Aliases
| MaxValueFlow | Dataflow from maximum values to an underflow. |
| MinValueFlow | Dataflow from minimum values to an underflow. |