...
Recommendation | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
MSC04-C | Medium | Unlikely | Yes | MediumNo | P4 | L3 |
Automated Detection
Tool | Version | Checker | Description | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| mlinemmline-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 |
| MISRA CERT C: 2012 Rule 1.2 | Language extensions should not be used The character sequences | PRQA QA-C | |||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | Checks for use of /* and // within a comment (rule partially covered) | ||||||||||||
| 3108 | RuleChecker |
| mlinemmline-comment | Partially checked |
Related Vulnerabilities
...