...
This rule also appears in the C Secure Coding Standard as: INT32-C. Ensure that operations on signed integers do not result in overflow
References
Secure Coding Guidelines for the Java Programming Language: Secure (Paragraph on comparison C++/Java)
The Java Language Specification, Third Edition: JLS (Operations and data types)