...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| global-object-scope | Fully checked | ||||||
| Axivion Bauhaus Suite |
| CertC-DCL15 | |||||||
| CodeSonar |
| LANG.STRUCT.SCOPE.FILE | Scope could be file static | ||||||
| CC2.DCL15 | Fully implemented | |||||||
| LDRA tool suite |
| 27 D | Fully implemented | ||||||
| Parasoft C/C++test |
| CERT_C-DCL15-a | Objects or functions with external linkage shall be declared in a header file | ||||||
| Polyspace Bug Finder |
| MISRA CERT C: 2012 Rule 8.7 | Checks for situations where function or object with external linkage is Functions and objects should not be defined with external linkage if they are referenced in only one translation unit The static storage class specifier shall be used in all declarations of objects and functions that have internal linkage(rec. fully covered) | ||||||
| PRQA QA-C |
| 1504, 1531 | Fully implemented | ||||||
| RuleChecker |
| global-object-scope | Fully checked | ||||||
| Splint |
|
...