SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 68

changes.mady.by.user Carol J. Lallier

Saved on

compared with

New Version 69

changes.mady.by.user Carol J. Lallier

Saved on

Key

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

...

LDRA tool suiteLDRALDRAV.

Tool

Version

Checker

Description

Compass/ROSE

 

 

Can detect violations of this recommendation. In particular, it flags any instance of a variable of type char (without a signed or unsigned qualifier) that appears in an arithmetic expression.

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

93 S
329 S
432 S
458 S

charplan

Fully implemented.

Fortify SCA

5.0

 

Can detect violations of this recommendation with the CERT C Rule Pack.

SplintLDRA tool suite

Include Page
SplintLDRA_VSplint
LDRA_V

93 S 

 

Compass/ROSE

 

 

Can detect violations of this recommendation. In particular, it flags any instance of a variable of type char (without a signed or unsigned qualifier) that appears in an arithmetic expression.

329 S
432 S
458 S

Fully implemented.

Splint

Include Page
Splint_V
Splint_V

 

 

ECLAIR

Include Page
ECLAIR_VECLAIR_V

charplan

Fully implemented.

PRQA QA-C
Include Page
PRQA_V
PRQA_V

3711
3722
3733
3744
3755
3766
3777
3788
3850
3863
3911
3922
3933
3944
3955
3966
3977
3988
4050
4063

Partially implemented.

...

CERT C++ Secure Coding StandardINT07-CPP. Use only explicitly signed or unsigned char type for numeric values
ISO/IEC TR 24772Bit representations [STR]
MISRA-CRule 6.2, Signed 2 (required): signed and unsigned char type shall be used only for the storage and use of numeric values
MITRE CWECWE-682, Incorrect calculation

Bibliography

[ISO/IEC 9899:2011]Section 6.2.5, "Types"

...