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.