...
Tool | Version | Checker | Description | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| static-function-declaration static-object-declaration | Partially checked | |||||||||||
| Axivion Bauhaus Suite |
| CertC-DCL36 | Fully implemented | |||||||||||
| CodeSonar |
| LANG.STRUCT.DECL.NOEXT | Missing External Declaration | |||||||||||
| Coverity |
| PW.LINKAGE_CONFLICT | Implemented | |||||||||||
| CC2.DCL36 | Fully implemented | ||||||||||||
| GCC |
| |||||||||||||
| Helix QAC |
| C0625 | ||||||||||||
| Klocwork |
| MISRA.FUNC.STATIC.REDECL | ||||||||||||
| 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 | |||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 0625 (U) | |||||||||||
| Fully implemented | RuleChecker |
| static-function-declaration static-object-declaration | Partially checked | ||||||||||
| TrustInSoft Analyzer |
| non-static declaration follows static declaration | Partially verified. |
...