...
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 | Fully implemented | ||||||||
| Polyspace Bug Finder | R2016a | MISRA2012-RULE-8_2, MISRA2012-RULE-8_4, MISRA2012-RULE-8_8, MISRA2012-RULE-17_3 |
| 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 Full | |||||||
| PRQA QA-C |
| 0625 (U) | Fully implemented | ||||||||
| RuleChecker |
| static-declaration | Partially checked |
...