...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| local-object-scope global-object-scope | Partially checked | ||||||
| CodeSonar |
| LANG.STRUCT.SCOPE.FILE | Scope could be file static | ||||||
| CC2.DCL19 | Fully implemented | |||||||
| LDRA tool suite |
| 25 D, 61 D, 40 S | Fully implemented | ||||||
| Parasoft C/C++test | 9.5
| OPT-01 | Partially implemented | ||||||
| PRQA QA-C |
| 1504, 1505, 1531, 1532, 3210, 3218 | |||||||
| RuleChecker |
| local-object-scope global-object-scope | Partially checked |
...