...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| 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 |
...