Versions Compared

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, but no explicit checker
Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC-DCL38Detects if the final member of struct which is declared as an array of small bound, is used as a flexible array member.
Compass/ROSE



Can detect some violations of this rule. In particular, it warns if the last element of a struct is an array with a small index (0 or 1)

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

Include Page
Parasoft_V
Parasoft_V

CERT_C-DCL38-a

The final member of a structure should not be an array of size '0' or '1'
PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v
1037 1039

...