Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Note
Info
titleGenerated Content

This page is automatically generated from the "Automated Detection" sections in the individual guidelines. Do not modify this page directly.

Version number:
v5.0 

was automatically generated and should not be edited.

Note

The information on this page was provided by outside contributors and has not been verified by SEI CERT.

Tip

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

...

Include Page
Splint_V
Splint_V

Checker

Guideline

EXP50

C++ checkers

Rule

 

ARR01-CPP. Do not apply the sizeof operator to a pointer when taking the size of an array

 

DCL01-CPP. Do not reuse variable names in subscopes

 

EXP12-CPP. Do not ignore values returned by functions or methods

 

INT07-CPP. Use only explicitly signed or unsigned char type for numeric values

depend on the order of evaluation for side effects
MEM50

 

STR36-CPP. Do not specify the bound of a character array initialized with a string literalaccess freed memory