...
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 |
| MISRA CERT C: 2012 Rule 8.2 | Checks for inconsistent use of static and extern in object declarations 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-function-declaration static-object-declaration | Partially checked | ||||||
| TrustInSoft Analyzer |
| non-static declaration follows static declaration | Partially verified. |
...