Module Overflow

Import path

semmle.code.java.arithmetic.Overflow

Imports

java

Provides all default Java QL imports.

Classes

ArithExpr
NumType
OrdPrimitiveType

A subclass of PrimitiveType with width-based ordering methods.