A DESCRIPTION OF THE REQUEST :
Operations on integer values are performed in modulo arithmetic, and
as a result do not throw exceptions when the result cannot be represented.
To detect results that cannot be represented, the programmer has to add
lengthy and complex code, which seldom is done.
This makes Java applications weak when facing security attacks.
Security vulnerabilities are more and more filed regarding integer overflows.
This is becoming thus a big weak spots in applications.
An enhancement is necessary to close a hole in security.
EXPECTED VERSUS ACTUAL BEHAVIOR :
There is a need for integer operations that can throw an exception when
the result cannot be represented. This can be provided in several ways:
with a new primitive type, or with new operations, or with some compilation
Integer operations do not throw exceptions whe they cannot represent the
result, and do not allow to easily check overflow either.