SEI CERT Oracle Coding Standard for Java

Space shortcuts

Page tree

Versions Compared

Old Version 3

changes.mady.by.user David Svoboda

Saved on

compared with

New Version 4

changes.mady.by.user David Svoboda

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Note

This page was automatically generated and should not be edited.

Note

The information on this page was provided by outside contributors and has not been verified by SEI CERT.

Tip

The table below can be re-ordered, by clicking column headers.

Tool Version:
Include Page
java:PVS-Studio_V
java:PVS-Studio_V

Checker

Guideline

V5301 ERR00-J. Do not suppress or ignore checked exceptions
V5304 LCK10-J. Use a correct form of the double-checked locking idiom
V6002 MSC57-J. Strive for logical completeness
V6003 MSC57-J. Strive for logical completeness
V6005 MSC56-J. Detect and remove superfluous code and values
V6007 MSC57-J. Strive for logical completeness
V6008 EXP01-J. Do not use a null in a case where an object is required
V6010 EXP00-J. Do not ignore values returned by methods
V6011 NUM13-J. Avoid loss of precision when converting primitive integers to floating-point
V6013 EXP03-J. Do not use the equality operators when comparing values of boxed primitives
V6018 MSC57-J. Strive for logical completeness
V6020 NUM02-J. Ensure that division and remainder operations do not result in divide-by-zero errors
V6021 MSC56-J. Detect and remove superfluous code and values
V6022 MSC56-J. Detect and remove superfluous code and values
V6026 MSC56-J. Detect and remove superfluous code and values
V6031 MSC57-J. Strive for logical completeness
V6037 MSC57-J. Strive for logical completeness
V6038 NUM07-J. Do not attempt comparisons with NaN
V6039 MSC56-J. Detect and remove superfluous code and values
V6041 EXP51-J. Do not perform assignments in conditional expressions
V6044 EXP05-J. Do not follow a write by a subsequent write or read of the same object within an expression
V6049 MET09-J. Classes that define an equals() method must also define a hashCode() method
V6050 DCL00-J. Prevent class initialization cycles
V6051 ERR04-J. Do not complete abruptly from a finally block
V6052 MET05-J. Ensure that constructors do not call overridable methods
V6053 MSC06-J. Do not modify the underlying collection when an iteration is in progress
V6054 OBJ09-J. Compare classes and not class names
V6055 EXP06-J. Expressions used in assertions must not produce side effects
V6057 MSC57-J. Strive for logical completeness
V6061 DCL50-J. Use visually distinct identifiers
V6063 MSC51-J. Do not place a semicolon immediately following an if, for, or while condition
V6064 THI00-J. Do not invoke Thread.run()
V6066 EXP04-J. Do not pass arguments to certain Java Collections Framework methods that are a different type than the collection parameter type
V6068 NUM10-J. Do not construct BigDecimal objects from floating-point literals
V6070 LCK01-J. Do not synchronize on objects that may be reused
V6073 EXP01-J. Do not use a null in a case where an object is required
V6074 VNA02-J. Ensure that compound operations on shared variables are atomic
V6075 SER01-J. Do not deviate from the proper signatures of serialization methods
V6077 MSC57-J. Strive for logical completeness
V6082 LCK10-J. Use a correct form of the double-checked locking idiom
V6089 EXP52-J. Use braces for the body of an if, for, or while statement
V6093 EXP01-J. Do not use a null in a case where an object is required
V6095 LCK09-J. Do not perform operations that can block while holding a lock
V6097 DCL50-J. Use visually distinct identifiers
V6101 EXP00-J. Do not ignore values returned by methods