SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 38

changes.mady.by.user Arthur Hicken

Saved on

compared with

New Version Current

changes.mady.by.user Joerg Herter

Saved on

Key

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

...

Tool

Version

Checker

Description

Astrée
Include Page
Astrée_V
Astrée_V

Supported
Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC-EXP14Fully implemented
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V
LANG.CAST.RIPRisky integer promotion
Compass/ROSE




ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CC2.EXP14

Fully implemented

Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V

CERT_C-EXP14-a

Avoid mixing arithmetic of different precisions in the same expressionMISRA-043b

Related Vulnerabilities

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

...