...
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 | ||||||||
| Cppcheck Premium |
| premium-cert-dcl36-c | Fully implemented | ||||||||
| CC2.DCL36 | Fully implemented | |||||||||
| GCC |
| ||||||||||
| Helix QAC |
| C0625 | Fully implemented | ||||||||
| Klocwork |
| MISRA.FUNC.STATIC.REDECL | Fully implemented | ||||||||
| 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) | |||||||||
| RuleChecker |
| static-function-declaration static-object-declaration | Partially checked | ||||||||
| TrustInSoft Analyzer |
| non-static declaration follows static declaration | Partially verified. |
...