...
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 |
| ||||||||
| Klocwork |
| ||||||||
| LDRA tool suite |
| 461 S, 575 S, 2 X | Fully implemented | ||||||
| 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. |
...