SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 177

changes.mady.by.user Carol J. Lallier

Saved on

compared with

New Version 178

changes.mady.by.user Carol J. Lallier

Saved on

Key

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

...

Tool

Version

Checker

Description

Coverity6.5TAINTED_STATICFully Implemented

LDRA tool suite

Include Page
LDRA_VLDRA_V

43 D
493 S
494 S

Partially implemented.

Fortify SCA

5.0

 

Can detect violations of this rule with CERT C Rule Pack. Specifically, it checks to ensure that the operand of a unary negation
is compared to the type's minimum value immediately before the operation.

LDRA tool suite

Include Page
LDRA_V
LDRA_V

43 D
493 S
494 S

Partially implemented.
PRQA QA-C
Include Page
PRQA_V
PRQA_V

0278
0296
0297
2800

Fully implemented.

...

[Dowd 2006]Chapter 6, "C Language Issues" ("Arithmetic Boundary Conditions," pp. 211–223)
[Seacord 20052013]Chapter 5, "IntegersInteger Security"
[Viega 2005]Section 5.2.7, "Integer Overflow"
[VU#551436] 
[Warren 2002]Chapter 2, "Basics"

...