GitHub
CERT Secure Coding

PVS-Studio

This page was automatically generated and should not be edited.

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

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

Tool Version: 7.42

CheckerGuideline
V5301ERR00-J. Do not suppress or ignore checked exceptions
V5304LCK10-J. Use a correct form of the double-checked locking idiom
V5308NUM00-J. Detect or prevent integer overflow
V5313MSC61-J. Do not use insecure or weak cryptographic algorithms
V5314MSC61-J. Do not use insecure or weak cryptographic algorithms
V5315MSC61-J. Do not use insecure or weak cryptographic algorithms
V5318FIO01-J. Create files with appropriate access permissions
V5331MSC03-J. Never hard code sensitive information
V5333SER12-J. Prevent deserialization of untrusted data
V6002MSC57-J. Strive for logical completeness
V6003MSC57-J. Strive for logical completeness
V6005MSC56-J. Detect and remove superfluous code and values
V6007MSC57-J. Strive for logical completeness
V6008EXP01-J. Do not use a null in a case where an object is required
V6010EXP00-J. Do not ignore values returned by methods
V6011NUM13-J. Avoid loss of precision when converting primitive integers to floating-point
V6013EXP03-J. Do not use the equality operators when comparing values of boxed primitives
V6018MSC57-J. Strive for logical completeness
V6020NUM02-J. Ensure that division and remainder operations do not result in divide-by-zero errors
V6021MSC56-J. Detect and remove superfluous code and values
V6022MSC56-J. Detect and remove superfluous code and values
V6026MSC56-J. Detect and remove superfluous code and values
V6031MSC57-J. Strive for logical completeness
V6034NUM14-J. Use shift operators correctly
V6037MSC57-J. Strive for logical completeness
V6038NUM07-J. Do not attempt comparisons with NaN
V6039MSC56-J. Detect and remove superfluous code and values
V6041EXP51-J. Do not perform assignments in conditional expressions
V6044EXP05-J. Do not follow a write by a subsequent write or read of the same object within an expression
V6049MET09-J. Classes that define an equals() method must also define a hashCode() method
V6050DCL00-J. Prevent class initialization cycles
V6051ERR04-J. Do not complete abruptly from a finally block
V6052MET05-J. Ensure that constructors do not call overridable methods
V6053MSC06-J. Do not modify the underlying collection when an iteration is in progress
V6054OBJ09-J. Compare classes and not class names
V6055EXP06-J. Expressions used in assertions must not produce side effects
V6057MSC57-J. Strive for logical completeness
V6061DCL50-J. Use visually distinct identifiers
V6063MSC51-J. Do not place a semicolon immediately following an if, for, or while condition
V6064THI00-J. Do not invoke Thread.run()
V6066EXP04-J. Do not pass arguments to certain Java Collections Framework methods that are a different type than the collection parameter type
V6068NUM10-J. Do not construct BigDecimal objects from floating-point literals
V6070LCK01-J. Do not synchronize on objects that may be reused
V6073EXP01-J. Do not use a null in a case where an object is required
V6074VNA02-J. Ensure that compound operations on shared variables are atomic
V6075SER01-J. Do not deviate from the proper signatures of serialization methods
V6077MSC57-J. Strive for logical completeness
V6082LCK10-J. Use a correct form of the double-checked locking idiom
V6089EXP52-J. Use braces for the body of an if, for, or while statement
V6093EXP01-J. Do not use a null in a case where an object is required
V6095LCK09-J. Do not perform operations that can block while holding a lock
V6097DCL50-J. Use visually distinct identifiers
V6101EXP00-J. Do not ignore values returned by methods
V6108NUM09-J. Do not use floating-point variables as loop counters
V6110ENV02-J. Do not trust the values of environment variables
V6117NUM00-J. Detect or prevent integer overflow
V6124NUM12-J. Ensure conversions of numeric types to narrower types do not result in lost or misinterpreted data
V6126LCK03-J. Do not synchronize on the intrinsic locks of high-level concurrency objects
V6127FIO04-J. Release resources when they are no longer needed
V6129LCK07-J. Avoid deadlock by requesting and releasing locks in the same order
V6130NUM00-J. Detect or prevent integer overflow
V6131NUM00-J. Detect or prevent integer overflow