Polyspace Bug Finder

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: R2025b


Checker	Guideline
CERT C++: CON50-CPP	CON50-CPP. Do not destroy a mutex while it is locked
CERT C++: CON51-CPP	CON51-CPP. Ensure actively held locks are released on exceptional conditions
CERT C++: CON52-CPP	CON52-CPP. Prevent data races when accessing bit-fields from multiple threads
CERT C++: CON53-CPP	CON53-CPP. Avoid deadlock by locking in a predefined order
CERT C++: CON54-CPP	CON54-CPP. Wrap functions that can spuriously wake up in a loop
CERT C++: CON55-CPP	CON55-CPP. Preserve thread safety and liveness when using condition variables
CERT C++: CON56-CPP	CON56-CPP. Do not speculatively lock a non-recursive mutex that is already owned by the calling thread
CERT C++: CTR50-CPP	CTR50-CPP. Guarantee that container indices and iterators are within the valid range
CERT C++: CTR51-CPP	CTR51-CPP. Use valid references, pointers, and iterators to reference elements of a container
CERT C++: CTR52-CPP	CTR52-CPP. Guarantee that library functions do not overflow
CERT C++: CTR53-CPP	CTR53-CPP. Use valid iterator ranges
CERT C++: CTR54-CPP	CTR54-CPP. Do not subtract iterators that do not refer to the same container
CERT C++: CTR55-CPP	CTR55-CPP. Do not use an additive operator on an iterator if the result would overflow
CERT C++: CTR56-CPP	CTR56-CPP. Do not use pointer arithmetic on polymorphic objects
CERT C++: CTR57-CPP	CTR57-CPP. Provide a valid ordering predicate
CERT C++: CTR58-CPP	CTR58-CPP. Predicate function objects should not be mutable
CERT C++: DCL50-CPP	DCL50-CPP. Do not define a C-style variadic function
CERT C++: DCL51-CPP	DCL51-CPP. Do not declare or define a reserved identifier
CERT C++: DCL52-CPP	DCL52-CPP. Never qualify a reference type with const or volatile
CERT C++: DCL53-CPP	DCL53-CPP. Do not write syntactically ambiguous declarations
CERT C++: DCL54-CPP	DCL54-CPP. Overload allocation and deallocation functions as a pair in the same scope
CERT C++: DCL55-CPP	DCL55-CPP. Avoid information leakage when passing a class object across a trust boundary
CERT C++: DCL56-CPP	DCL56-CPP. Avoid cycles during initialization of static objects
CERT C++: DCL57-CPP	DCL57-CPP. Do not let exceptions escape from destructors or deallocation functions
CERT C++: DCL58-CPP	DCL58-CPP. Do not modify the standard namespaces
CERT C++: DCL59-CPP	DCL59-CPP. Do not define an unnamed namespace in a header file
CERT C++: DCL60-CPP	DCL60-CPP. Obey the one-definition rule
CERT C++: ERR50-CPP	ERR50-CPP. Do not abruptly terminate the program
CERT C++: ERR51-CPP	ERR51-CPP. Handle all exceptions
CERT C++: ERR52-CPP	ERR52-CPP. Do not use setjmp() or longjmp()
CERT C++: ERR53-CPP	ERR53-CPP. Do not reference base classes or class data members in a constructor or destructor function-try-block handler
CERT C++: ERR54-CPP	ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived
CERT C++: ERR55-CPP	ERR55-CPP. Honor exception specifications
CERT C++: ERR56-CPP	ERR56-CPP. Guarantee exception safety
CERT C++: ERR57-CPP	ERR57-CPP. Do not leak resources when handling exceptions
CERT C++: ERR58-CPP	ERR58-CPP. Handle all exceptions thrown before main() begins executing
CERT C++: ERR59-CPP	ERR59-CPP. Do not throw an exception across execution boundaries
CERT C++: ERR60-CPP	ERR60-CPP. Exception objects must be nothrow copy constructible
CERT C++: ERR61-CPP	ERR61-CPP. Catch exceptions by lvalue reference
CERT C++: ERR62-CPP	ERR62-CPP. Detect errors when converting a string to a number
CERT C++: EXP50-CPP	EXP50-CPP. Do not depend on the order of evaluation for side effects
CERT C++: EXP51-CPP	EXP51-CPP. Do not delete an array through a pointer of the incorrect type
CERT C++: EXP52-CPP	EXP52-CPP. Do not rely on side effects in unevaluated operands
CERT C++: EXP53-CPP	EXP53-CPP. Do not read uninitialized memory
CERT C++: EXP54-CPP	EXP54-CPP. Do not access an object outside of its lifetime
CERT C++: EXP55-CPP	EXP55-CPP. Do not access a cv-qualified object through a cv-unqualified type
CERT C++: EXP56-CPP	EXP56-CPP. Do not call a function with a mismatched language linkage
CERT C++: EXP57-CPP	EXP57-CPP. Do not cast or delete pointers to incomplete classes
CERT C++: EXP58-CPP	EXP58-CPP. Pass an object of the correct type to va_start
CERT C++: EXP59-CPP	EXP59-CPP. Use offsetof() on valid types and members
CERT C++: EXP60-CPP	EXP60-CPP. Do not pass a nonstandard-layout type object across execution boundaries
CERT C++: EXP61-CPP	EXP61-CPP. A lambda object must not outlive any of its reference captured objects
CERT C++: EXP62-CPP	EXP62-CPP. Do not access the bits of an object representation that are not part of the object's value representation
CERT C++: EXP63-CPP	EXP63-CPP. Do not rely on the value of a moved-from object
CERT C++: FIO50-CPP	FIO50-CPP. Do not alternately input and output from a file stream without an intervening positioning call
CERT C++: FIO51-CPP	FIO51-CPP. Close files when they are no longer needed
CERT C++: INT50-CPP	INT50-CPP. Do not cast to an out-of-range enumeration value
CERT C++: MEM50-CPP	MEM50-CPP. Do not access freed memory
CERT C++: MEM51-CPP	MEM51-CPP. Properly deallocate dynamically allocated resources
CERT C++: MEM52-CPP	MEM52-CPP. Detect and handle memory allocation errors
CERT C++: MEM53-CPP	MEM53-CPP. Explicitly construct and destruct objects when manually managing object lifetime
CERT C++: MEM54-CPP	MEM54-CPP. Provide placement new with properly aligned pointers to sufficient storage capacity
CERT C++: MEM55-CPP	MEM55-CPP. Honor replacement dynamic storage management requirements
CERT C++: MEM56-CPP	MEM56-CPP. Do not store an already-owned pointer value in an unrelated smart pointer
CERT C++: MEM57-CPP	MEM57-CPP. Avoid using default operator new for over-aligned types
CERT C++: MSC50-CPP	MSC50-CPP. Do not use std::rand() for generating pseudorandom numbers
CERT C++: MSC51-CPP	MSC51-CPP. Ensure your random number generator is properly seeded
CERT C++: MSC52-CPP	MSC52-CPP. Value-returning functions must return a value from all exit paths
CERT C++: MSC53-CPP	MSC53-CPP. Do not return from a function declared [[noreturn]]
CERT C++: MSC54-CPP	MSC54-CPP. A signal handler must be a plain old function
CERT C++: OOP50-CPP	OOP50-CPP. Do not invoke virtual functions from constructors or destructors
CERT C++: OOP51-CPP	OOP51-CPP. Do not slice derived objects
CERT C++: OOP52-CPP	OOP52-CPP. Do not delete a polymorphic object without a virtual destructor
CERT C++: OOP53-CPP	OOP53-CPP. Write constructor member initializers in the canonical order
CERT C++: OOP54-CPP	OOP54-CPP. Gracefully handle self-copy assignment
CERT C++: OOP55-CPP	OOP55-CPP. Do not use pointer-to-member operators to access nonexistent members
CERT C++: OOP56-CPP	OOP56-CPP. Honor replacement handler requirements
CERT C++: OOP57-CPP	OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
CERT C++: OOP58-CPP	OOP58-CPP. Copy operations must not mutate the source object
CERT C++: STR50-CPP	STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator
CERT C++: STR51-CPP	STR51-CPP. Do not attempt to create a std::string from a null pointer
CERT C++: STR52-CPP	STR52-CPP. Use valid references, pointers, and iterators to reference elements of a basic_string
CERT C++: STR53-CPP	STR53-CPP. Range check element access