Page Information

Title:	NUM00-J. Detect or prevent integer overflow
Author:	Efstathios Mertikas	Oct 28, 2008
Last Changed by:	Valery	Jun 11, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/PDdGBQ
Export As:	Word · PDF

SEI CERT Oracle Coding Standard for Java (5)     Page: VNA02-J. Ensure that compound operations on shared variables are atomic     Page: NUM01-J. Do not perform bitwise and arithmetic operations on the same data     Page: NUM14-J. Use shift operators correctly     Page: NUM02-J. Ensure that division and remainder operations do not result in divide-by-zero errors     Page: NUM12-J. Ensure conversions of numeric types to narrower types do not result in lost or misinterpreted data

Parent Page     Page: Rule 03. Numeric Types and Operations (NUM)

• cwe-190
• android
• cwe-191
• num
• rule
• android-implementation-detail-java
• cwe-682

Time	Editor
Jun 11, 2025 02:51	Valery	View Changes
Mar 05, 2025 11:31	Jill Britton	View Changes
Jan 31, 2025 00:45	Amy Gale	View Changes
Localize CodeSonar crossreferences to Java scope
Jan 14, 2025 09:56	David Svoboda	View Changes
Oct 14, 2024 02:14	Valery

External Links (18)
    download.oracle.com/javase/6/docs/api/java/util/concurrent/…
    https://code.google.com/p/mezzofanti/issues/detail?id=1
    java.sun.com/docs/books/jls/third_edition/html/typesValues.…
    cwe.mitre.org/data/definitions/682.html
    cwe.mitre.org/
    cwe.mitre.org/data/definitions/190.html
    https://wiki.sei.cmu.edu/confluence/display/java/Rule+AA.+R…
    docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-1…
    https://wiki.sei.cmu.edu/confluence/display/java/PVS-Studio
    https://docs.oracle.com/javase/tutorial/java/nutsandbolts/d…
    https://www.safaribooksonline.com/library/view/secure-codin…
    https://pvs-studio.com/en/docs/warnings/v6131/
    https://pvs-studio.com/en/docs/warnings/v5308/
    https://pvs-studio.com/en/docs/warnings/v6117/
    https://pvs-studio.com/en/docs/warnings/v6130/
    docs.oracle.com/javase/specs/jls/se8/html/jls-4.html#jls-4.…
    cwe.mitre.org/data/definitions/191.html
    docs.oracle.com/javase/specs/jls/se8/html/jls-4.html#jls-4.…

SEI CERT C Coding Standard (2)     Home page: SEI CERT C Coding Standard     Page: INT32-C. Ensure that operations on signed integers do not result in overflow

SEI CERT Oracle Coding Standard for Java (14)     Page: Coverity     Page: Parasoft_V     Page: NUM01-J. Do not perform bitwise and arithmetic operations on the same data     Page: CodeSonar     Home page: SEI CERT Oracle Coding Standard for Java     Page: Rule BB. Glossary     Page: Parasoft     Page: Klocwork     Page: CodeSonar_V     Page: Klocwork_V     Page: Rule AA. References     Page: PVS-Studio_V     Page: VNA02-J. Ensure that compound operations on shared variables are atomic     Page: Rule 03. Numeric Types and Operations (NUM)