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
V509DCL57-CPP. Do not let exceptions escape from destructors or deallocation functions
V515MEM51-CPP. Properly deallocate dynamically allocated resources
V521EXP50-CPP. Do not depend on the order of evaluation for side effects
V522MEM52-CPP. Detect and handle memory allocation errors
V539CTR53-CPP. Use valid iterator ranges
V546EXP53-CPP. Do not read uninitialized memory
V554MEM51-CPP. Properly deallocate dynamically allocated resources
V565ERR56-CPP. Guarantee exception safety
V573EXP53-CPP. Do not read uninitialized memory
V586MEM50-CPP. Do not access freed memory
V591MSC52-CPP. Value-returning functions must return a value from all exit paths
V598EXP62-CPP. Do not access the bits of an object representation that are not part of the object's value representation
V598OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
V599OOP52-CPP. Do not delete a polymorphic object without a virtual destructor
V611MEM51-CPP. Properly deallocate dynamically allocated resources
V614EXP53-CPP. Do not read uninitialized memory
V630MEM53-CPP. Explicitly construct and destruct objects when manually managing object lifetime
V662CTR53-CPP. Use valid iterator ranges
V667ERR50-CPP. Do not abruptly terminate the program
V668MEM52-CPP. Detect and handle memory allocation errors
V670EXP53-CPP. Do not read uninitialized memory
V679EXP53-CPP. Do not read uninitialized memory
V689OOP52-CPP. Do not delete a polymorphic object without a virtual destructor
V701MEM51-CPP. Properly deallocate dynamically allocated resources
V708EXP50-CPP. Do not depend on the order of evaluation for side effects
V730EXP53-CPP. Do not read uninitialized memory
V746ERR61-CPP. Catch exceptions by lvalue reference
V748MEM51-CPP. Properly deallocate dynamically allocated resources
V749MEM53-CPP. Explicitly construct and destruct objects when manually managing object lifetime
V752MEM54-CPP. Provide placement new with properly aligned pointers to sufficient storage capacity
V758EXP54-CPP. Do not access an object outside of its lifetime
V759ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived
V773MEM51-CPP. Properly deallocate dynamically allocated resources
V774MEM50-CPP. Do not access freed memory
V777CTR56-CPP. Do not use pointer arithmetic on polymorphic objects
V780EXP62-CPP. Do not access the bits of an object representation that are not part of the object's value representation
V780OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
V781CTR50-CPP. Guarantee that container indices and iterators are within the valid range
V783CTR51-CPP. Use valid references, pointers, and iterators to reference elements of a container
V788EXP53-CPP. Do not read uninitialized memory
V789CTR53-CPP. Use valid iterator ranges
V816ERR61-CPP. Catch exceptions by lvalue reference
V1006MEM56-CPP. Do not store an already-owned pointer value in an unrelated smart pointer
V1007EXP53-CPP. Do not read uninitialized memory
V1016INT50-CPP. Do not cast to an out-of-range enumeration value
V1023ERR56-CPP. Guarantee exception safety
V1030EXP63-CPP. Do not rely on the value of a moved-from object
V1041EXP54-CPP. Do not access an object outside of its lifetime
V1045DCL57-CPP. Do not let exceptions escape from destructors or deallocation functions
V1047EXP61-CPP. A lambda object must not outlive any of its reference captured objects
V1050EXP53-CPP. Do not read uninitialized memory
V1053OOP50-CPP. Do not invoke virtual functions from constructors or destructors
V1054OOP51-CPP. Do not slice derived objects
V1057MSC51-CPP. Ensure your random number generator is properly seeded
V1059DCL51-CPP. Do not declare or define a reserved identifier
V1061DCL58-CPP. Do not modify the standard namespaces
V1066MEM51-CPP. Properly deallocate dynamically allocated resources
V1068DCL59-CPP. Do not define an unnamed namespace in a header file
V1082MSC53-CPP. Do not return from a function declared [[noreturn]]
V1084EXP62-CPP. Do not access the bits of an object representation that are not part of the object's value representation
V1099EXP54-CPP. Do not access an object outside of its lifetime
V2014ERR50-CPP. Do not abruptly terminate the program
V5002ERR56-CPP. Guarantee exception safety