Title: NUM00-J. Detect or prevent integer overflow  
Author: Efstathios Mertikas Oct 28, 2008
Last Changed by: Valery Oct 14, 2024
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/PDdGBQ
Export As: Word · PDF  
Hierarchy
Outgoing Links
External Links (16)
    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
    www.aitcnet.org/isai/
    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/v5308/
    https://pvs-studio.com/en/docs/warnings/v6117/
    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 Oracle Coding Standard for Java (11)     Page: Coverity
    Page: Parasoft_V
    Page: NUM01-J. Do not perform bitwise and arithmetic operations on the same data
    Home page: SEI CERT Oracle Coding Standard for Java
    Page: Rule BB. Glossary
    Page: Parasoft
    Page: CodeSonar_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)
SEI CERT C Coding Standard (3)     Page: CodeSonar
    Home page: SEI CERT C Coding Standard
    Page: INT32-C. Ensure that operations on signed integers do not result in overflow