Versions Compared

Key

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

...

Tool

Version

Checker

Description

LDRA tool suite

Include Page
LDRA_V
LDRA_V

93 S
329 S
432 S
458 S

Fully implemented.

Fortify SCA

V. 5.0

 

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

Splint

Include Page
Splint_V
Splint_V

 

 

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

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.

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

Related Guidelines

...

...

...

Bit representations

...

[STR]
MISRA-CRule 6.2,

...

Signed and unsigned char type shall be used only for the storage and use of numeric values

...

...

...

Incorrect calculation

Bibliography

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

...