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

unnamed-namespace-header
Fully checked
Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC++-DCL59
Clang
Include Page
Clang_V
Clang_V
cert-dcl59-cpp
Checked by clang-tidy
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

LANG.STRUCT.DECL.ANH

Anonymous Namespace in Header File

Clang
Include Page
Clang_VClang_V
cert-dcl59-cpp
Checked by clang-tidy

Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

C++2518
Klocwork
Include Page
Klocwork_V
Klocwork_V

MISRA.NAMESPACE.UNMD


LDRA tool suite
Include Page
LDRA_V
LDRA_V

286 S, 512 S

Fully implemented

Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V
CERT_CPP-DCL59-a

There shall be no unnamed namespaces in header files

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C++: DCL59-CPPChecks for unnamed namespaces in header files (rule fully covered)
RuleChecker
Include Page
RuleChecker_V
RuleChecker_V
unnamed-namespace-header
Fully checked
SonarQube C/C++ Plugin
Include Page
SonarQube C/C++ Plugin_V
SonarQube C/C++ Plugin_V
UnnamedNamespaceInHeader
PRQA QA-C++
Include Page
PRQA QA-C++_V
PRQA QA-C++_V

2518


PVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V1068

...