SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 84

changes.mady.by.user Jill Britton

Saved on

compared with

New Version 85

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
scaled-pointer-arithmetic
Partially checked
Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC-ARR39Fully implemented
Coverity
Include Page
Coverity_V
Coverity_V

BAD_SIZEOF


Partially implemented
LDRA tool suite
 
Include Page
LDRA_V
LDRA_V
47 S, 489 S, 567 S,
64 X, 66 X, 68 X,
69 X, 70 X, 71 X		Partially implemented
Parasoft C/C++test

Include Page
Parasoft_V
Parasoft_V

CERT_C-ARR39-a
CERT_C-ARR39-b
CERT_C-ARR39-c

Avoid accessing arrays out of bounds
Pointer arithmetic should not be used
Do not add or subtract a scaled integer to a pointer

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

Incorrect pointer scaling

Invalid use of standard library memory routine

Pointer access out of bounds

Possible misuse of sizeof

MISRA C:2012 Rule 18.1

Implicit scaling in pointer arithmetic might be ignored

Standard library memory function called with invalid arguments

Pointer dereferenced outside its bounds

Use of sizeof operator can cause unintended results

A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand

PRQA QA-C

Include Page
PRQA QA-C_v
PRQA QA-C_v

 4955, 4956, 4957
 PRQA QA-C++
Include Page
cplusplus:PRQA QA-C++_V
cplusplus:PRQA QA-C++_V

2840, 2841, 2842, 2843, 2844,

2930, 2931, 2932, 2933, 2934,

2935, 2936, 2937, 2938, 2939


RuleChecker

Include Page
RuleChecker_V
RuleChecker_V

scaled-pointer-arithmetic
Partially checked

Related Vulnerabilities

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

...