Skip to end of metadata
Go to start of metadata

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

Checker

Guideline

BD-PB-NOTINIT EXP53-CPP. Do not read uninitialized memory
BD-PB-NP OOP55-CPP. Do not use pointer-to-member operators to access nonexistent members
BD-PB-OVERFWR STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator
BD-PB-OVERF{RD, WR, FMT, NZT} CTR52-CPP. Guarantee that library functions do not overflow
BD-PB-OVERF{RD, WR, FMT, NZT} STR53-CPP. Range check element access
BD-RES-FREE EXP54-CPP. Do not access an object outside of its lifetime
BD-RES-FREE MEM50-CPP. Do not access freed memory
BD-RES-LEAKS FIO51-CPP. Close files when they are no longer needed
BD-RES-LEAKS ERR56-CPP. Guarantee exception safety
BD-RES-LEAKS ERR57-CPP. Do not leak resources when handling exceptions
BD-TRS-DLOCK CON53-CPP. Avoid deadlock by locking in a predefined order
CODSTA-74 DCL59-CPP. Do not define an unnamed namespace in a header file
EXCEPT-13 ERR51-CPP. Handle all exceptions
EXCEPT-14 ERR55-CPP. Honor exception specifications
EXCEPT-16 ERR53-CPP. Do not reference base classes or class data members in a constructor or destructor function-try-block handler
EXCEPT-17 ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived
EXCEPT-18 ERR58-CPP. Handle all exceptions thrown before main() begins executing
INIT-10 OOP53-CPP. Write constructor member initializers in the canonical order
JSF-020 ERR52-CPP. Do not use setjmp() or longjmp()
JSF-114 MSC52-CPP. Value-returning functions must return a value from all exit paths
JSF-117_a OOP51-CPP. Do not slice derived objects
JSF-166 EXP52-CPP. Do not rely on side effects in unevaluated operands
JSF-166_{b,c} EXP52-CPP. Do not rely on side effects in unevaluated operands
JSF-204.1{a,b,c,d,g} EXP50-CPP. Do not depend on the order of evaluation for side effects
MEM-06 MEM51-CPP. Properly deallocate dynamically allocated resources
MEM-12 MEM51-CPP. Properly deallocate dynamically allocated resources
MEM-28 MEM51-CPP. Properly deallocate dynamically allocated resources
MEM-29 MEM51-CPP. Properly deallocate dynamically allocated resources
MISRA2004-16_1 DCL50-CPP. Do not define a C-style variadic function
MISRA2008-15_3_1 ERR58-CPP. Handle all exceptions thrown before main() begins executing
MISRA2008-15_5_2 ERR55-CPP. Honor exception specifications
MISRA2008-17_0_1_{a, b} DCL51-CPP. Do not declare or define a reserved identifier
MISRA2012-RULE-21_4_{a,b} ERR52-CPP. Do not use setjmp() or longjmp()
MISRA2012-RULE-21_5_b MSC54-CPP. A signal handler must be a plain old function
MRM-14 MEM55-CPP. Honor replacement dynamic storage management requirements
MRM-15 MEM55-CPP. Honor replacement dynamic storage management requirements
MRM-26 DCL54-CPP. Overload allocation and deallocation functions as a pair in the same scope
MRM-27 DCL54-CPP. Overload allocation and deallocation functions as a pair in the same scope
MRM-34 MEM52-CPP. Detect and handle memory allocation errors
OOP-02 OOP51-CPP. Do not slice derived objects
OOP-16 OOP50-CPP. Do not invoke virtual functions from constructors or destructors
OOP-22 OOP52-CPP. Do not delete a polymorphic object without a virtual destructor
OOP-34 OOP54-CPP. Gracefully handle self-copy assignment
PB-10 EXP51-CPP. Do not delete an array through a pointer of the incorrect type
PB-10 CTR56-CPP. Do not use pointer arithmetic on polymorphic objects
PB-54 EXP57-CPP. Do not cast or delete pointers to incomplete classes
PB-55 EXP57-CPP. Do not cast or delete pointers to incomplete classes
Runtime detection EXP51-CPP. Do not delete an array through a pointer of the incorrect type
Runtime detection EXP53-CPP. Do not read uninitialized memory
Runtime detection EXP54-CPP. Do not access an object outside of its lifetime
Runtime detection EXP57-CPP. Do not cast or delete pointers to incomplete classes
Runtime detection MEM50-CPP. Do not access freed memory
Runtime detection MEM51-CPP. Properly deallocate dynamically allocated resources
Runtime detection MEM52-CPP. Detect and handle memory allocation errors
Runtime detection FIO51-CPP. Close files when they are no longer needed
Runtime detection OOP55-CPP. Do not use pointer-to-member operators to access nonexistent members
SECURITY-02 MSC50-CPP. Do not use std::rand() for generating pseudorandom numbers
SECURITY-12 STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator
STL-02 CTR56-CPP. Do not use pointer arithmetic on polymorphic objects
STL-36 CTR50-CPP. Guarantee that container indices and iterators are within the valid range
STL-36 CTR53-CPP. Use valid iterator ranges