SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 91

changes.mady.by.user Jon O'Donnell

Saved on

compared with

New Version Current

changes.mady.by.user Jill Britton

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: Astrée keeps track of all floating point rounding errors and loss of precision and reports code defects resulting from those.
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

LANG.TYPE.IAT

Inappropriate Assignment Type

Coverity
Include Page
Coverity_V
Coverity_V

MISRA C 2004 Rule 10.x (needs investigation)

Needs investigation
Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

C1260, C1263, C1298, C1299, C1800, C1802, C1803, C1804, C4117, C4435, C4437, C4445

C++3011


Klocwork

Include Page
Klocwork_V
Klocwork_V

PORTING.CAST.FLTPNT


LDRA tool suite
Include Page
LDRA_V
LDRA_V
435 SFully implemented
Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V

CERT_C-FLP36-a
CERT_C-FLP36-b

Implicit conversions from integral to floating type which may result in a loss of information shall not be used
Implicit conversions from integral constant to floating type which may result in a loss of information shall not be used

PC-lint Plus

Include Page
PC-lint Plus_V
PC-lint Plus_V

915, 922

Partially supported

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT-C: Rule FLP36-CChecks for precision loss in integer to float conversion (rule fully covered)
PRQA QA-C
Include Page
PRQA QA-C_vPRQA QA-C_v

1260, 1263, 1298, 1299, 1800,

1802, 1803, 1804, 4117, 4435,

4437, 4445

PRQA QA-C++
Include Page
cplusplus:PRQA QA-C++_Vcplusplus:PRQA QA-C++_V3011PVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V674

...