Integer Overflow/Underflow (IOU)

Description:

IOU detects if the value of operator is out of bounds of type specified by the Java semantics for the operator result. Error message is generated for such Java types as int and long.

Example:

   static int f(int x, int y) {
        //min type value for int is 0x80000000,
        //max type value for int is 0x7fffffff.
		if (x < (0x80000000 + 2) && y > (0x7fffffff - 2)) {
		    return x * y; //out of bounds
		}	
		return 1;
    }