...
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 | ||||||||||||||||||||
| Helix QAC |
| C1504, C1531 | ||||||||||||||||||||
| 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 | |||||||||||||||||||
| PC-lint Plus |
| 765 | Fully supported | |||||||||||||||||||
| Polyspace Bug Finder |
| MISRA CERT C: 2012 Rule 8.7 | 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 | PRQA QA-C | ||||||||||||||||||
| Include Page | PRQA QA-C_v | Checks for situations where function or object with external linkage is referenced in only one translation unit (rec. fully covered) | PRQA QA-C_v | 1504, 1531 | Fully implemented | PRQA QA-C++ | | Include Page | | cplusplus:PRQA QA-C++_V | cplusplus:PRQA QA-C++_V | ||||||||||||
| RuleChecker |
| global-object-scope | Fully checked | |||||||||||||||||||
| Splint |
|
...