Module Overflow

Import path

import semmle.code.java.arithmetic.Overflow

java	Provides all default Java QL imports.

ArithExpr
NumType
OrdPrimitiveType	A subclass of `PrimitiveType` with width-based ordering methods.