...
Tool | Version | Checker | Description | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| global-object-scope | Fully checked | |||||||
| 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 |
| MISRA-023 | CERT_C-DCL15-a | Objects or functions with external linkage shall be declared in a header file Fully implemented | ||||||
| PRQA QA-C |
| 1504 | Fully implemented | |||||||
| RuleChecker |
| global-object-scope | Fully checked | |||||||
| Splint |
|
...