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

Checker

Guideline

C01 CTR52-CPP. Guarantee that library functions do not overflow
C04 CTR52-CPP. Guarantee that library functions do not overflow
C17 FIO50-CPP. Do not alternately input and output from a file stream without an intervening positioning call
C24 STR52-CPP. Use valid references, pointers, and iterators to reference elements of a basic_string
C35 ERR51-CPP. Handle all exceptions
C53 EXP50-CPP. Do not depend on the order of evaluation for side effects
C54 EXP53-CPP. Do not read uninitialized memory
C55 EXP53-CPP. Do not read uninitialized memory
C56 EXP53-CPP. Do not read uninitialized memory
C57 EXP53-CPP. Do not read uninitialized memory
C58 EXP53-CPP. Do not read uninitialized memory
C59 EXP53-CPP. Do not read uninitialized memory
C60 EXP53-CPP. Do not read uninitialized memory
C61 EXP53-CPP. Do not read uninitialized memory
C62 EXP53-CPP. Do not read uninitialized memory
C63 EXP53-CPP. Do not read uninitialized memory
C80 FIO51-CPP. Close files when they are no longer needed
CPP_12 MEM50-CPP. Do not access freed memory
CPP_14 MEM50-CPP. Do not access freed memory
CPP_15 MEM50-CPP. Do not access freed memory
CPP_28 MEM53-CPP. Explicitly construct and destruct objects when manually managing object lifetime
CPP_29 MEM53-CPP. Explicitly construct and destruct objects when manually managing object lifetime
RTOS_07 MSC50-CPP. Do not use std::rand() for generating pseudorandom numbers
RTOS_08 MSC51-CPP. Ensure your random number generator is properly seeded
RTOS_09 MSC52-CPP. Value-returning functions must return a value from all exit paths
RTOS_10 MSC52-CPP. Value-returning functions must return a value from all exit paths
RTOS_11 MSC52-CPP. Value-returning functions must return a value from all exit paths
RTOS_12 MSC52-CPP. Value-returning functions must return a value from all exit paths
RTOS_33 STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator
RTOS_34 STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator
shadowVariable STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator
shiftTooManyBits STR51-CPP. Do not attempt to create a std::string from a null pointer
UNSAFE_03 STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator
UNSAFE_04 STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator
UNSAFE_07 OOP50-CPP. Do not invoke virtual functions from constructors or destructors
UNSAFE_08 CON53-CPP. Avoid deadlock by locking in a predefined order
UNSAFE_09 DCL50-CPP. Do not define a C-style variadic function
va_end_missing ERR59-CPP. Do not throw an exception across execution boundaries
va_start_subsequentCalls MEM56-CPP. Do not store an already-owned pointer value in an unrelated smart pointer
wcsdupCalled MEM51-CPP. Properly deallocate dynamically allocated resources