...
Tool | Version | Checker | Description | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| static-declaration | Partially checked | |||||||
| 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 |
| MISRA-024 | CERT_C-DCL36-a | Identifiers shall not simultaneously have both internal and external linkage in the same translation unitFully implemented | ||||||
| Polyspace Bug Finder |
| Function types shall be in prototype form with named parameters A compatible declaration shall be visible when an object or function with external linkage is defined The static storage class specifier shall be used in all declarations of objects and functions that have internal linkage A function shall not be declared implicitly | ||||||||
| PRQA QA-C |
| 0625 (U) | Fully implemented | |||||||
| RuleChecker |
| static-declaration | Partially checked |
...