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

static-function-declaration

static-object-declaration

Partially checked
Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC-DCL36Fully implemented
Coverity
Include Page
Coverity_V
Coverity_V
PW.LINKAGE_CONFLICTImplemented

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CC2.DCL36

Fully implemented

GCC
Include Page
GCC_V
GCC_V



Klocwork
Include Page
Klocwork_V
Klocwork_V

MISRA.FUNC.STATIC.REDECL


LDRA tool suite
Include Page
LDRA_V
LDRA_V

461 S, 575 S, 2 X

Fully implemented

Splint
Include Page
Splint_V
Splint_V



Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V
CERT_C-DCL36-a
Identifiers shall not simultaneously have both internal and external linkage in the same translation unit
Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

MISRA C:2012 Rule 8.2

MISRA C:2012 Rule 8.4

MISRA C:2012 Rule 8.8

MISRA C:2012 Rule 17.3

Function types shall be in prototype form with named parameters

A compatible declaration shall be visible when an object or function with external linkage is defined

The static storage class specifier shall be used in all declarations of objects and functions that have internal linkage

A function shall not be declared implicitly

PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v
0625 (U)Fully implemented
RuleChecker
Include Page
RuleChecker_V
RuleChecker_V

static-function-declaration

static-object-declaration
Partially checked

Related Vulnerabilities

...