...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| mmline-comment | Partially checked | ||||||||||
| GCC |
| Can detect violations of this rule when the | |||||||||||
| CC2.MSC04 | Fully implemented | |||||||||||
| Helix QAC |
| C3108 | |||||||||||
| LDRA tool suite |
| 119 S, 302 S, 611 S | Partially implemented | ||||||||||
| Parasoft C/C++test |
| CERT_C-MSC04-a | The character sequence /* shall not be used within a C-style comment | ||||||||||
| PC-lint Plus |
| 1, 427, 602, 689, 853, | Fully supported | ||||||||||
| Polyspace Bug Finder |
| Checks for use of /* and // within a comment (rule partially covered) | PRQA QA-C | ||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | |||||||||||
| 3108 | RuleChecker |
| mmline-comment | Partially checked |
...