...
Tool | Version | Checker | Description | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| static-function-declaration static-object-declaration | Partially checked | |||||||||||
| Axivion Bauhaus Suite |
| CertC-DCL36 | Fully implemented | |||||||||||
| Coverity |
| PW.LINKAGE_CONFLICT | Implemented | |||||||||||
| CC2.DCL36 | Fully implemented | ||||||||||||
| GCC |
| |||||||||||||
| Helix QAC |
| C: 0625 | ||||||||||||
| Klocwork |
| |||||||||||||
| LDRA tool suite |
| 461 S, 575 S, 2 X | Fully implemented | |||||||||||
| PC-lint Plus |
| 401, 839, 1051 | Fully supported | |||||||||||
| Splint |
| |||||||||||||
| Parasoft C/C++test |
| CERT_C-DCL36-a | Identifiers shall not simultaneously have both internal and external linkage in the same translation unit | |||||||||||
| Polyspace Bug Finder |
| Checks for inconsistent use of static and extern in object declarations (rule partially covered) | ||||||||||||
| PRQA QA-C |
| 0625 (U) | Fully implemented | |||||||||||
| RuleChecker |
| static-function-declaration static-object-declaration | Partially checked | |||||||||||
| TrustInSoft Analyzer |
| non-static declaration follows static declaration | Partially verified. | Helix QAC | | Include Page | | Helix QAC_V | Helix QAC_V | C: 0625
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...