...
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 |
| 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 |
| 1504 | Fully implemented | ||||||
| PRQA QA-C++ |
| 1504, 1505, 1531, 1532, 1533, 2300, 2313, 2314 | |||||||
| RuleChecker |
| global-object-scope | Fully checked | ||||||
| Splint |
|
...