...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| mmline-comment | 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 |
| CERT_C-MSC04-a | The character sequence /* shall not be used within a C-style comment | ||||||
Polyspace Bug Finder |
| Checks for use of /* and // within a comment (rule partially covered) | |||||||
PRQA QA-C |
| 3108 | |||||||
RuleChecker |
| mmline-comment | Partially checked |
...