SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 100

changes.mady.by.user Aleksandr Karbyshev

Saved on

compared with

New Version 101

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
sizeof-array-parameter
Fully checked
Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC-ARR01Fully implemented
Compass/ROSE



Can detect violations of the recommendation but cannot distinguish between incomplete array declarations and pointer declarations

Klocwork
Include Page
Klocwork_V
Klocwork_V
CWARN.MEMSET.SIZEOF.PTRFully implemented
LDRA tool suite
Include Page
LDRA_V
LDRA_V

401 S

Fully implemented

Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V

CERT_C-ARR01-a

Do not call 'sizeof' on a pointer type

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

Possible misuse of sizeof

Wrong type used in sizeof

MISRA C:2012 Rule 12.5

Use of sizeof operator can cause unintended results

sizeof argument does not match pointed type

The sizeof operator shall not have an operand which is a function parameter declared as “array of type”

Splint
Include Page
Splint_V
Splint_V



PVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V511, V512, V514, V568, V579, V604, V697
RuleChecker
Include Page
RuleChecker_V
RuleChecker_V
sizeof-array-parameterFully checked

Related Vulnerabilities

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

...