Skip to main content
assistive.skiplink.to.breadcrumbs
assistive.skiplink.to.header.menu
assistive.skiplink.to.action.menu
assistive.skiplink.to.quick.search
Log in
Confluence
Spaces
Hit enter to search
Help
Online Help
Keyboard Shortcuts
Feed Builder
What’s new
Available Gadgets
About Confluence
Log in
SEI CERT Oracle Coding Standard for Java
Pages
Boards
Space shortcuts
Dashboard
Secure Coding Home
Android
C
C++
Java
Perl
Page tree
Browse pages
Configure
Space tools
View Page
A
t
tachments (0)
Page History
Page Information
View in Hierarchy
View Source
Export to PDF
Export to Word
Pages
…
SEI CERT Oracle Coding Standard for Java
4 Back Matter
Rule or Rec. CC. Analyzers
PVS-Studio_V
Page Information
Title:
PVS-Studio_V
Author:
Svyatoslav Razmyslov
Jun 25, 2021
Last Changed by:
Valery
Oct 08, 2024
Tiny Link:
(useful for email)
https://wiki.sei.cmu.edu/confluence/x/HADZEg
Export As:
Word
·
PDF
Incoming Links
SEI CERT Oracle Coding Standard for Java (34)
Page:
EXP03-J. Do not use the equality operators when comparing values of boxed primitives
Page:
EXP00-J. Do not ignore values returned by methods
Page:
NUM13-J. Avoid loss of precision when converting primitive integers to floating-point
Page:
OBJ09-J. Compare classes and not class names
Page:
NUM09-J. Do not use floating-point variables as loop counters
Page:
ERR00-J. Do not suppress or ignore checked exceptions
Page:
MSC56-J. Detect and remove superfluous code and values
Page:
MSC06-J. Do not modify the underlying collection when an iteration is in progress
Page:
NUM14-J. Use shift operators correctly
Page:
MSC51-J. Do not place a semicolon immediately following an if, for, or while condition
Page:
MSC57-J. Strive for logical completeness
Page:
EXP51-J. Do not perform assignments in conditional expressions
Page:
DCL00-J. Prevent class initialization cycles
Page:
LCK09-J. Do not perform operations that can block while holding a lock
Page:
SER01-J. Do not deviate from the proper signatures of serialization methods
Page:
NUM10-J. Do not construct BigDecimal objects from floating-point literals
Page:
ERR04-J. Do not complete abruptly from a finally block
Page:
EXP05-J. Do not follow a write by a subsequent write or read of the same object within an expression
Page:
MET09-J. Classes that define an equals() method must also define a hashCode() method
Page:
DCL50-J. Use visually distinct identifiers
Page:
EXP06-J. Expressions used in assertions must not produce side effects
Page:
LCK01-J. Do not synchronize on objects that may be reused
Page:
LCK10-J. Use a correct form of the double-checked locking idiom
Page:
NUM07-J. Do not attempt comparisons with NaN
Page:
MET05-J. Ensure that constructors do not call overridable methods
Page:
PVS-Studio
Page:
VNA02-J. Ensure that compound operations on shared variables are atomic
Page:
NUM02-J. Ensure that division and remainder operations do not result in divide-by-zero errors
Page:
ENV02-J. Do not trust the values of environment variables
Page:
THI00-J. Do not invoke Thread.run()
Page:
EXP52-J. Use braces for the body of an if, for, or while statement
Page:
NUM00-J. Detect or prevent integer overflow
Page:
EXP04-J. Do not pass arguments to certain Java Collections Framework methods that are a different type than the collection parameter type
Page:
EXP01-J. Do not use a null in a case where an object is required
Hierarchy
Parent Page
Page:
Rule or Rec. CC. Analyzers
Labels
There are no labels assigned to this page.
Recent Changes
Time
Editor
Oct 08, 2024 07:45
Valery
View Changes
Aug 06, 2024 14:19
Valery
View Changes
Jun 11, 2024 13:52
Valery
View Changes
Apr 12, 2024 05:31
Valery
View Changes
Feb 07, 2024 06:26
Valery
View Page History
Overview
Content Tools
{"serverDuration": 116, "requestCorrelationId": "44610d1e410c3c2e"}