Tool | Version | Checker | Description |
---|
Astrée | | unnamed-namespace-header
| Fully checked |
Axivion Bauhaus Suite | Include Page |
---|
| Axivion Bauhaus Suite_V |
---|
| Axivion Bauhaus Suite_V |
---|
|
| CertC++-DCL59 |
|
Clang | | cert-dcl59-cpp | Checked by clang-tidy |
CodeSonar | | LANG.STRUCT.DECL.ANH | Anonymous Namespace in Header File |
Helix QAC | | C++2518 |
|
Klocwork | | MISRA.NAMESPACE.UNMD |
|
LDRA tool suite | | 286 S, 512 S
| Fully implemented |
Parasoft C/C++test | | 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-CPP | Checks 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 | | V1068 |
|