SEI CERT C++ Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 11

changes.mady.by.user David Svoboda

Saved on

compared with

New Version Current

changes.mady.by.user David Svoboda

Saved on

Key

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

...

Tip

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

...

Include Page
cplusplus:PVS-Studio_Vcplusplus:
PVS-Studio_V

Checker

Guideline

V509 DCL57-CPP. Do not let exceptions escape from destructors or deallocation functions
V515 MEM51-CPP. Properly deallocate dynamically allocated resources
V521 EXP50-CPP. Do not depend on the order of evaluation for side effects
V522 MEM52-CPP. Detect and handle memory allocation errors
V539 CTR53-CPP. Use valid iterator ranges
V546 EXP53-CPP. Do not read uninitialized memory
V554 MEM51-CPP. Properly deallocate dynamically allocated resources
V565 ERR56-CPP. Guarantee exception safety
V573 EXP53-CPP. Do not read uninitialized memory
V586 MEM50-CPP. Do not access freed memory
V591 MSC52-CPP. Value-returning functions must return a value from all exit paths
V598 EXP62-CPP. Do not access the bits of an object representation that are not part of the object's value representation
V598 OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
V599 OOP52-CPP. Do not delete a polymorphic object without a virtual destructor
V611 MEM51-CPP. Properly deallocate dynamically allocated resources
V614 EXP53-CPP. Do not read uninitialized memory
V630 MEM53-CPP. Explicitly construct and destruct objects when manually managing object lifetime
V662 CTR53-CPP. Use valid iterator ranges
V667 ERR50-CPP. Do not abruptly terminate the program
V668 MEM52-CPP. Detect and handle memory allocation errors
V670 EXP53-CPP. Do not read uninitialized memory
V679 EXP53-CPP. Do not read uninitialized memory
V689 OOP52-CPP. Do not delete a polymorphic object without a virtual destructor
V701 MEM51-CPP. Properly deallocate dynamically allocated resources
V708 EXP50-CPP. Do not depend on the order of evaluation for side effects
V730 EXP53-CPP. Do not read uninitialized memory
V746 ERR61-CPP. Catch exceptions by lvalue reference
V748 MEM51-CPP. Properly deallocate dynamically allocated resources
V749 MEM53-CPP. Explicitly construct and destruct objects when manually managing object lifetime
V752 MEM54-CPP. Provide placement new with properly aligned pointers to sufficient storage capacity
V758 EXP54-CPP. Do not access an object outside of its lifetime
V759 ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived
V773 MEM51-CPP. Properly deallocate dynamically allocated resources
V774 MEM50-CPP. Do not access freed memory
V777 CTR56-CPP. Do not use pointer arithmetic on polymorphic objects
V780 EXP62-CPP. Do not access the bits of an object representation that are not part of the object's value representation
V780 OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
V781 CTR50-CPP. Guarantee that container indices and iterators are within the valid range
V783 CTR51-CPP. Use valid references, pointers, and iterators to reference elements of a container
V788 EXP53-CPP. Do not read uninitialized memory
V789 CTR53-CPP. Use valid iterator ranges
V816 ERR61-CPP. Catch exceptions by lvalue reference
V1006 MEM56-CPP. Do not store an already-owned pointer value in an unrelated smart pointer
V1007 EXP53-CPP. Do not read uninitialized memory
V1016 INT50-CPP. Do not cast to an out-of-range enumeration value
V1023 ERR56-CPP. Guarantee exception safety
V1030 EXP63-CPP. Do not rely on the value of a moved-from object
V1041 EXP54-CPP. Do not access an object outside of its lifetime
V1045 DCL57-CPP. Do not let exceptions escape from destructors or deallocation functions
V1047 EXP61-CPP. A lambda object must not outlive any of its reference captured objects
V1050 EXP53-CPP. Do not read uninitialized memory
V1053 OOP50-CPP. Do not invoke virtual functions from constructors or destructors
V1054 OOP51-CPP. Do not slice derived objects
V1057 MSC51-CPP. Ensure your random number generator is properly seeded
V1059 DCL51-CPP. Do not declare or define a reserved identifier
V1061 DCL58-CPP. Do not modify the standard namespaces
V1066 MEM51-CPP. Properly deallocate dynamically allocated resources
V1068 DCL59-CPP. Do not define an unnamed namespace in a header file
V1082 MSC53-CPP. Do not return from a function declared [[noreturn]]
V1084 EXP62-CPP. Do not access the bits of an object representation that are not part of the object's value representation
V1099 EXP54-CPP. Do not access an object outside of its lifetime
V2014 ERR50-CPP. Do not abruptly terminate the program
V5002 ERR56-CPP. Guarantee exception safety