...
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 |
Related Vulnerabilities
...