Provides predicates and classes for reasoning about arithmetic with extreme values.
Import path
import semmle.code.java.security.ArithmeticWithExtremeValuesQuery
Imports
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. |