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 |
| Helix QAC | | C++2518 |
|
| 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 |
|
