...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| mline-comment sline-comment sline-splicing | Partially checked | ||||||
| GCC |
| Can detect violations of this rule when the | |||||||
| CC2.MSC04 | Fully implemented | |||||||
| LDRA tool suite |
| 119 S, 302 S, 611 S | Partially implemented | ||||||
| Parasoft C/C++test | 9.5
| MISRA2012-RULE-3_1{a,b,c}, COMMENT-13 | Fully implemented | ||||||
| PRQA QA-C |
| 3108 | |||||||
| RuleChecker |
| mline-comment sline-comment sline-splicing | Partially checked |
...